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