News
-
4 2017
Version 0.0.1
Beta version of Coquaternions Package available
-
7 2019
CoqPolynomial
-
7 2021
Version 0.0.2
New release of beta version of Coquaternions Package available
4 2017
Beta version of Coquaternions Package available
7 2019
7 2021
New release of beta version of Coquaternions Package available