affeldt-aist / coq-robotLinks

Mathematics of Rigid Body Transformationss using Coq and MathComp
27Updated 3 weeks ago

Alternatives and similar repositories for coq-robot

Users that are interested in coq-robot are comparing it to the libraries listed below

Sorting: