Skip to content

Explore by keyword

theorem-proving

1 plugin uses this word, from 1 publisher.

  • vericodingbyalok

    Vericoding: code plus a machine-checked proof against a frozen spec, Lean 4 first. Ships a gate that rejects sorry,…