maxwell-thum/DDG_Lean3

Formalizing Discrete Differential Geometry in Lean 3.

Lean