PhD Student @ RPI, Writer of Tidbits, and Linux Enthusiast
Here you'll find 1 post about Formal Proof.
Same as Q2762418, establishment of a theorem using inference from the axioms.
2025
Flattening Cases to Avoid Nesting in Lean 4
