package rocq-robot-rocq
Formal Foundations for Modeling Robot Manipulators
Install
Dune Dependency
Authors
Maintainers
Sources
coq-robot-0.3.1.tar.gz
sha512=e70b88e71569c54be8b0b8655d5c3e422e70c770b8d57c3faa8c0bb0b5f2023fd9db511c3b6583d875d09a85654fbe0e1b546196918ed10df39e8b197c40643d
Description
This repository contains an experimental library for the mathematics of rigid body transformations using the Rocq proof-assistant and the Mathematical Components library.
Dependencies (10)
-
coq-mathcomp-algebra-tactics
(>= "1.2.4") -
coq-mathcomp-real-closed
(>= "2.0.0") -
coq-mathcomp-analysis
(>= "1.11.0") -
coq-mathcomp-field
(>= "2.5.0") -
coq-mathcomp-solvable
(>= "2.5.0") -
coq-mathcomp-algebra
(>= "2.5.0") -
coq-mathcomp-fingroup
(>= "2.5.0") -
coq-mathcomp-ssreflect
(>= "2.5.0") -
coq-hierarchy-builder
(>= "1.9.1") -
coq
(>= "9.0" & < "9.2~")
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page