mathcomp
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Seventeenth Mathcomp sharing day |
|
0 | 123 | July 8, 2026 |
| Sixteenth Mathcomp sharing day |
|
0 | 40 | May 18, 2026 |
| Fifteenth Mathcomp sharing day |
|
0 | 52 | February 23, 2026 |
| Fourteenth Mathcomp sharing days |
|
0 | 62 | January 23, 2026 |
| Thirteenth Mathcomp sharing day |
|
0 | 77 | November 24, 2025 |
| Twelfth Mathcomp sharing day |
|
0 | 55 | September 18, 2025 |
| MathComp 2.4.0 released |
|
0 | 140 | April 14, 2025 |
| Ninth Mathcomp sharing day |
|
0 | 67 | March 24, 2025 |
| Sixth Mathcomp sharing day |
|
0 | 54 | September 18, 2024 |
| Second Mathcomp sharing day |
|
0 | 109 | May 22, 2024 |
| First Mathcomp sharing day |
|
1 | 196 | April 27, 2024 |
| Algebra Tactics 1.1.1 released |
|
0 | 526 | April 13, 2023 |
| Deriving: a library for deriving class instances for inductive types |
|
3 | 1124 | October 4, 2021 |
| A formal proof of Abel-Ruffini Theorem in Coq |
|
0 | 2070 | January 13, 2021 |