mathcomp
Topic | Replies | Views | Activity | |
---|---|---|---|---|
First Mathcomp sharing day | 0 | 33 | April 22, 2024 | |
Algebra Tactics 1.1.1 released | 0 | 402 | April 13, 2023 | |
Deriving: a library for deriving class instances for inductive types | 3 | 934 | October 4, 2021 | |
A formal proof of Abel-Ruffini Theorem in Coq | 0 | 1881 | January 13, 2021 |