CSLib: A Focused Effort on Formalizing Computer Science in Lean

(cslib.io)

3 points | by md224 13 hours ago ago