/coq-robot

Mathematics of Rigid Body Transformationss using Coq and MathComp

Primary LanguageCoq

Stargazers