search

affeldt-aist / coq-robot

Mathematics of Rigid Body Transformationss using Coq and MathComp
26 stars 2 forks source link

replacing rcfType by realType in angle.v #20

Open affeldt-aist opened 3 years ago

affeldt-aist commented 3 years ago

fyi: @thery