Hacker News new | ask | show | jobs
CSLib: A Focused Effort on Formalizing Computer Science in Lean (cslib.io)
4 points by md224 125 days ago