CSLib: A Focused Effort on Formalizing Computer Science in Lean Lobsters Par : cslib.io via p0llard 22 janvier 2026 à 12:50 Comments