search

olivierverdier / GeometricAlgebra

Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/
MIT License
11 stars 4 forks source link

Was this based on any book? #3

Closed lancejpollard closed 5 months ago

lancejpollard commented 3 years ago

Wondering if I could follow along by purchasing a book, perhaps, that might have been used as a natural-language base upon which to create the Coq formalization. Is there a book used her to construct this formalization?

Looking forward to your response! Thank you.

olivierverdier commented 5 months ago

You should ask this question to the original authors of the project.