GitHub repository: olivierverdier/GeometricAlgebra
Primary language: Coq
Created: 2016-12-21T13:02:26Z
Description: Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/