search

affeldt-aist / coq-robot

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

use eqNr #32

Open affeldt-aist opened 3 years ago

affeldt-aist commented 3 years ago

https://github.com/affeldt-aist/coq-robot/blob/ce7c75a7a2a990c446735299ad9ca04e8f621ebd/ssr_ext.v#L116-L121

this requires to first declare a numDomainType structure for matrices