package coq-geometric-algebra
Grassman Cayley and Clifford formalisations
Install
Dune Dependency
Authors
Maintainers
Sources
v8,12.tar.gz
md5=c0682da10c8ca6ae12c204f9335ae020
Description
On This Page