affeldt-aist / coq-robot

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

update README #14

Closed affeldt-aist closed 3 years ago

affeldt-aist commented 3 years ago

fixes issue #4

What about we make a first release with the current contents of master? @thery @CohenCyril