# content
CSLib: A Focused Effort on Formalizing Computer Science in Lean (via p0llard) — discussion

#compsci #formalmethods #math