_CoqProject

ssr_ext.v
euclidean3.v
angle.v
vec_angle.v
skew.v
frame.v
rot.v
rigid.v
quaternion.v
screw.v
dh.v
scara.v

-R . robot