View of Formalizing Computational Paths and Fundamental Groups in Lean

##article.return## Formalizing Computational Paths and Fundamental Groups in Lean Download Download PDF