Giters

dirichy / EG

Formalizing Euclidean Geometry in Lean

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

EG

Formalizing Euclidean Geometry in Lean

This is a test.

About

Formalizing Euclidean Geometry in Lean

Languages

Language:Lean 93.7%Language:TeX 6.3%