3 search results for "author:"Reynald Affeldt, AIST""
Showing 1 - 3
-
coq-infotheo
No documentation
Discrete probabilities and information theory for Rocq0.9.6LGPL-2.1-or-laterUsed by 1 other packages13 Nov 2025 -
coq-robot
No documentation
Formal Foundations for Modeling Robot Manipulators0.1LGPL-2.1-or-laterUsed by 0 other packages11 May 2021 -
rocq-robot-rocq
No documentation
Formal Foundations for Modeling Robot Manipulators0.3.0LGPL-2.1-or-laterUsed by 0 other packages19 Nov 2025