1 search result for "tag:"logpath:robot""

Showing 1 - 1

coq-robot

No documentation

Formal Foundations for Modeling Robot Manipulators

keyword:robotics keyword:3D geometry logpath:robot date:2021-05-11

Reynald Affeldt, AIST Cyril Cohen, Inria Laurent Thery, Inria

0.1

LGPL-2.1-or-later

Used by 0 other packages

11 May 2021