Hitchhiker's Guide to Logical Verification (2023 Edition)

 (lean-forward.github.io)

3 points | by tosh 7 hours ago ago

No comments yet.