AR

arpit-saxena/lean

Experimenting with theorem proving in Lean

Lean

Lean code following the book The Hitchhiker's Guide to Logical Verification

On this page

Contributors

Created July 13, 2024

Updated July 19, 2024