mathcomp
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Algebra Tactics 1.1.1 released |
|
0 | 111 | April 13, 2023 |
| Deriving: a library for deriving class instances for inductive types |
|
3 | 754 | October 4, 2021 |
| A formal proof of Abel-Ruffini Theorem in Coq |
|
0 | 1632 | January 13, 2021 |