/coq-synthgeo

Synthetic geometry in Coq?

Primary LanguageCoq

Watchers