search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
26 stars 57 forks source link

bundled ceva configuration #262

Closed FR-vdash-bot closed 6 months ago