Section: New Results
Geometric algebras
Participant : Laurent Théry.
We translated our library to the ssreflect setting and provided a very concise certified implementation of geometric algebras based on binary trees.
Participant : Laurent Théry.
We translated our library to the ssreflect setting and provided a very concise certified implementation of geometric algebras based on binary trees.