Week12 -- Formalization of Math (Lean & Type theory)

Posted on 2024-04-08 by George McNinch