mathcomp
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Second Mathcomp sharing day | 0 | 84 | May 22, 2024 | |
First Mathcomp sharing day | 1 | 151 | April 27, 2024 | |
Algebra Tactics 1.1.1 released | 0 | 460 | April 13, 2023 | |
Deriving: a library for deriving class instances for inductive types | 3 | 1010 | October 4, 2021 | |
A formal proof of Abel-Ruffini Theorem in Coq | 0 | 1987 | January 13, 2021 |