package coq-geometric-algebra
Grassman Cayley and Clifford formalisations
Install
Dune Dependency
Authors
Maintainers
Sources
v8.8.tar.gz
md5=2026059522901d82553ca58e8a7a6a2b
On This Page