nmsbaeta

Coimbra, Portugal

Pinned Repositories

Geometrography
Geometrography in Dynamic Geometry Systems
Language:Yacc1 2 00
GDDM
Open Library of Geometry Automatic Theorem Provers
Language:C++3 4 11

nmsbaeta's Repositories

nmsbaeta doesn’t have any repository yet.