CSLib: A Focused Effort on Formalizing Computer Science in Lean

(cslib.io) by md224 | Feb 21, 2026 | 0 comments on HN