search

affeldt-aist / coq-robot

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

update meta.yml #35

Closed affeldt-aist closed 2 years ago

affeldt-aist commented 2 years ago

@thery

thery commented 2 years ago

I think all the nsatz calls (except one :disappointed:) could be replaced by the new ring of @pi8027.