issues
search
affeldt-aist
/
coq-robot
Mathematics of Rigid Body Transformationss using Coq and MathComp
26
stars
2
forks
source link
split the file differential_kinematics.v
#30
Closed
affeldt-aist
closed
3 years ago
affeldt-aist
commented
3 years ago
@thery
@thery