leanprover-community.github.io icon indicating copy to clipboard operation
leanprover-community.github.io copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Add links to The Hitchhiker's Guide to Logical Verification book, and Lean Together 2024

Open turibe opened this issue 10 months ago • 0 comments

turibe avatar Apr 26 '24 15:04 turibe