|
[VsCoq] Release 2.2.5
|
|
0
|
36
|
February 27, 2025
|
|
Mini-symposium on proof assistants for education
|
|
0
|
51
|
February 27, 2025
|
|
[VsCoq] Release 2.2.4
|
|
0
|
45
|
February 20, 2025
|
|
Rocq 9.0+rc1 has just been tagged
|
|
3
|
76
|
February 14, 2025
|
|
Equations 1.3.1 for Rocq 9.0
|
|
0
|
40
|
January 29, 2025
|
|
Preview of Ltac2 Visual Debugger is now available
|
|
0
|
63
|
December 2, 2024
|
|
Coq 8.20.1 is out
|
|
0
|
43
|
January 20, 2025
|
|
The Rocq Prover - New identity and website
|
|
5
|
350
|
January 18, 2025
|
|
[VsCoq 2] Release 2.2.3
|
|
0
|
35
|
January 16, 2025
|
|
Proof-general auto bullet extension
|
|
6
|
38
|
January 7, 2025
|
|
AI for Math Fund
|
|
0
|
23
|
December 5, 2024
|
|
MathComp 2.3.0 released
|
|
0
|
29
|
November 28, 2024
|
|
Eighth Mathcomp sharing day
|
|
0
|
34
|
November 26, 2024
|
|
Lean Together 2025
|
|
0
|
134
|
November 25, 2024
|
|
Lecturer/Senior Lecturer in Mathematically Structured Programming at Strathclyde
|
|
0
|
33
|
November 22, 2024
|
|
Rocq Sharing Analyser (new plugin to print debug info)
|
|
0
|
66
|
November 5, 2024
|
|
Release of Iris 3.4 and std++ 1.11
|
|
0
|
39
|
October 31, 2024
|
|
[Coq Platform release] 2024.10.0 with Coq 8.19.2
|
|
0
|
64
|
October 28, 2024
|
|
Proofchat: A TCP client/server chat application written in Coq
|
|
10
|
155
|
October 3, 2024
|
|
[Postdoc position] Machine Learning for translation between formal mathematics libraries (2nd announcement)
|
|
0
|
79
|
October 3, 2024
|
|
[VsCoq 2] Release 2.2.1
|
|
0
|
40
|
September 24, 2024
|
|
[WITS 2025] Call for Contributions: 4th Workshop on the Implementation of Type Systems
|
|
0
|
18
|
September 22, 2024
|
|
Sixth Mathcomp sharing day
|
|
0
|
33
|
September 18, 2024
|
|
[Job Offer] Production Engineer for the Coq Platform
|
|
0
|
79
|
September 16, 2024
|
|
[VsCoq 2] Release 2.2.0
|
|
0
|
42
|
September 14, 2024
|
|
Coq 8.20.0 is out
|
|
0
|
104
|
September 11, 2024
|
|
Yet Another Tactics Index for Beginners
|
|
5
|
392
|
September 9, 2024
|
|
Coq 8.20+rc1
|
|
1
|
62
|
August 30, 2024
|
|
Big Specification workshop at the Newton Institute
|
|
0
|
82
|
August 19, 2024
|
|
[VsCoq 2] Release 2.1.7
|
|
0
|
70
|
August 7, 2024
|