Hitchhiker's Guide to Logical Verification (2023 Edition)
Posted 2 hours ago by
tosh
3
points
https://lean-forward.github.io/hitchhikers-guide/2023/
0
comments