← back to paper

Review history

arxiv: 2605.01660 · 2 revisions

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code

1. 2026-05-12 UNVERDICTED LOW v0.9.0 novelty 4.0
   67495 ms 5370 in 1253 out 2026-05-12T01:17:09.408261+00:00
2. 2026-05-09 UNVERDICTED LOW v0.9.0 novelty 4.0
   32569 ms 5370 in 1231 out 2026-05-09T16:58:20.969763+00:00