coq-robot

Mathematics of Rigid Body Transformationss using Coq and MathComp

GitHub

26 stars
6 watching
2 forks
Language: Coq
last commit: 4 months ago