issues
search
affeldt-aist
/
coq-robot
Mathematics of Rigid Body Transformationss using Coq and MathComp
26
stars
2
forks
source link
expand quaternion rotation matrix
#29
Closed
affeldt-aist
closed
3 years ago
affeldt-aist
commented
3 years ago
I commited your proof properly authored @thery
I commited your proof properly authored @thery