A

alok/vericoding

Copy page

Vericoding: code plus a machine-checked proof against a frozen spec, Lean 4 first. Ships a gate that rejects sorry, axioms, assume, spec edits and meaning-changing instances.