fp.
newest
Open in hackernews
CSLib: A Focused Effort on Formalizing Computer Science in Lean
https://www.cslib.io/
2
•
md224
•
2h ago