Cite
Notes
Only stored in your browser.
Attribution
Mechanically-checked Verus specification-faithfulness environment for `verifiers`: a spec must accept the correct implementation and reject buggy o...
Anti-gameable Lean 4 theorem-proving environment for `verifiers`, rewarded by a real Kimina/Lean proof check (on-prem, GPU-free).