|
Twelfth Mathcomp sharing day
|
|
0
|
18
|
September 18, 2025
|
|
Eleventh Mathcomp sharing day
|
|
0
|
27
|
May 20, 2025
|
|
Tenth Mathcomp sharing day
|
|
0
|
22
|
April 25, 2025
|
|
MathComp 2.4.0 released
|
|
0
|
73
|
April 14, 2025
|
|
Ninth Mathcomp sharing day
|
|
0
|
46
|
March 24, 2025
|
|
Sixth Mathcomp sharing day
|
|
0
|
35
|
September 18, 2024
|
|
Second Mathcomp sharing day
|
|
0
|
89
|
May 22, 2024
|
|
First Mathcomp sharing day
|
|
1
|
158
|
April 27, 2024
|
|
Algebra Tactics 1.1.1 released
|
|
0
|
490
|
April 13, 2023
|
|
Deriving: a library for deriving class instances for inductive types
|
|
3
|
1042
|
October 4, 2021
|
|
A formal proof of Abel-Ruffini Theorem in Coq
|
|
0
|
2014
|
January 13, 2021
|