CSLib: A Focused Effort on Formalizing Computer Science in Lean #1 Post by md224 » Sat, Feb 21, 2026, 1:43 AM UTC CSLib: A Focused Effort on Formalizing Computer Science in Leancslib.io