package rocq-robot-rocq
Formal Foundations for Modeling Robot Manipulators
Install
Dune Dependency
Authors
Maintainers
Sources
0.3.0.tar.gz
sha512=9f3cc4c4192d3559960a63724eba752d5e8b71a33f4f489e5c0b3fe3998592bd4b635a7881cf385fa3f78c003497bb0e5f0c90586ab1fa36472f0c0369d4c9b9
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.4.0") -
coq-mathcomp-solvable
(>= "2.4.0") -
coq-mathcomp-algebra
(>= "2.4.0") -
coq-mathcomp-fingroup
(>= "2.4.0") -
coq-mathcomp-ssreflect
(>= "2.4.0") -
coq-hierarchy-builder
(>= "1.9.1") -
coq
(>= "9.0" & < "9.2~")
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page