package rocq-robot-rocq
Formal Foundations for Modeling Robot Manipulators
Install
Dune Dependency
Authors
Maintainers
Sources
0.3.2.tar.gz
sha512=2770638a7174dcf5ea430ca14645fd7a8cf2b2789f5d97f87128414f444c52249a753f48a631e4f90ef6638c3b9f750805e170bbb16813fb894d9aecfc649a6f
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.15.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