|
Sixteenth Mathcomp sharing day
|
|
0
|
20
|
May 18, 2026
|
|
Fifteenth Mathcomp sharing day
|
|
0
|
32
|
February 23, 2026
|
|
Fourteenth Mathcomp sharing days
|
|
0
|
25
|
January 23, 2026
|
|
Thirteenth Mathcomp sharing day
|
|
0
|
55
|
November 24, 2025
|
|
Twelfth Mathcomp sharing day
|
|
0
|
36
|
September 18, 2025
|
|
MathComp 2.4.0 released
|
|
0
|
110
|
April 14, 2025
|
|
Ninth Mathcomp sharing day
|
|
0
|
51
|
March 24, 2025
|
|
Sixth Mathcomp sharing day
|
|
0
|
39
|
September 18, 2024
|
|
Second Mathcomp sharing day
|
|
0
|
93
|
May 22, 2024
|
|
First Mathcomp sharing day
|
|
1
|
164
|
April 27, 2024
|
|
Algebra Tactics 1.1.1 released
|
|
0
|
505
|
April 13, 2023
|
|
Deriving: a library for deriving class instances for inductive types
|
|
3
|
1061
|
October 4, 2021
|
|
A formal proof of Abel-Ruffini Theorem in Coq
|
|
0
|
2047
|
January 13, 2021
|