affeldt-aist / coq-robot

Mathematics of Rigid Body Transformationss using Coq and MathComp
26Updated 5 months ago

Related projects

Alternatives and complementary repositories for coq-robot