package rocq-robot-rocq

You can search for identifiers within the package.

in-package search v0.2.0

Formal Foundations for Modeling Robot Manipulators

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

Maintainers

R

Reynald Affeldt <reynald.affeldt@aist.go.jp>

Sources

0.3.3.tar.gz

sha512=35ebeae48f66271b98dfb5e37276a38de8b1e08fcea56030f67fc3bbd2ce59d7df78e812724a3f904ca5f1fb6f0d1b1b89a9834b31c6bf9d9c0252c8623fa353

Description

This repository contains an experimental library for the mathematics of rigid body transformations using the Rocq proof-assistant and the Mathematical Components library.

Published: 10 Sep 2026

Dependencies (9)

rocq-mathcomp-real-closed (>= "2.0.6")
rocq-mathcomp-analysis (>= "1.18.0")
rocq-mathcomp-field (>= "2.6.0")
rocq-mathcomp-solvable (>= "2.6.0")
rocq-mathcomp-algebra (>= "2.6.0")
rocq-mathcomp-fingroup (>= "2.6.0")
rocq-mathcomp-ssreflect (>= "2.6.0")
rocq-hierarchy-builder (>= "1.10.0")
rocq-stdlib (>= "9.1" & < "9.3~")

Dev Dependencies (1)

rocq-core (>= "9.1" & < "9.4~") | (= "dev")

Used by

None

Conflicts