|
A Short Survey on Type-Driven Development Tools
|
|
0
|
33
|
March 14, 2025
|
|
Fully funded PhD position at KU Leuven on Mechanized Systems-Level Security (Deadline 2025-03-16)
|
|
0
|
44
|
March 3, 2025
|
|
[VsCoq] Release 2.2.5
|
|
0
|
38
|
February 27, 2025
|
|
Mini-symposium on proof assistants for education
|
|
0
|
52
|
February 27, 2025
|
|
[VsCoq] Release 2.2.4
|
|
0
|
50
|
February 20, 2025
|
|
Rocq 9.0+rc1 has just been tagged
|
|
3
|
78
|
February 14, 2025
|
|
Equations 1.3.1 for Rocq 9.0
|
|
0
|
41
|
January 29, 2025
|
|
Preview of Ltac2 Visual Debugger is now available
|
|
0
|
66
|
December 2, 2024
|
|
Coq 8.20.1 is out
|
|
0
|
44
|
January 20, 2025
|
|
The Rocq Prover - New identity and website
|
|
5
|
360
|
January 18, 2025
|
|
[VsCoq 2] Release 2.2.3
|
|
0
|
37
|
January 16, 2025
|
|
Proof-general auto bullet extension
|
|
6
|
50
|
January 7, 2025
|
|
AI for Math Fund
|
|
0
|
26
|
December 5, 2024
|
|
MathComp 2.3.0 released
|
|
0
|
31
|
November 28, 2024
|
|
Eighth Mathcomp sharing day
|
|
0
|
34
|
November 26, 2024
|
|
Lean Together 2025
|
|
0
|
145
|
November 25, 2024
|
|
Lecturer/Senior Lecturer in Mathematically Structured Programming at Strathclyde
|
|
0
|
36
|
November 22, 2024
|
|
Rocq Sharing Analyser (new plugin to print debug info)
|
|
0
|
67
|
November 5, 2024
|
|
Release of Iris 3.4 and std++ 1.11
|
|
0
|
40
|
October 31, 2024
|
|
[Coq Platform release] 2024.10.0 with Coq 8.19.2
|
|
0
|
66
|
October 28, 2024
|
|
Proofchat: A TCP client/server chat application written in Coq
|
|
10
|
187
|
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
|
43
|
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
|
35
|
September 18, 2024
|
|
[Job Offer] Production Engineer for the Coq Platform
|
|
0
|
88
|
September 16, 2024
|
|
[VsCoq 2] Release 2.2.0
|
|
0
|
43
|
September 14, 2024
|
|
Coq 8.20.0 is out
|
|
0
|
107
|
September 11, 2024
|
|
Yet Another Tactics Index for Beginners
|
|
5
|
400
|
September 9, 2024
|
|
Coq 8.20+rc1
|
|
1
|
63
|
August 30, 2024
|