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