|
AI for Math Fund
|
|
0
|
21
|
December 5, 2024
|
|
MathComp 2.3.0 released
|
|
0
|
28
|
November 28, 2024
|
|
Eighth Mathcomp sharing day
|
|
0
|
32
|
November 26, 2024
|
|
Lean Together 2025
|
|
0
|
120
|
November 25, 2024
|
|
Lecturer/Senior Lecturer in Mathematically Structured Programming at Strathclyde
|
|
0
|
29
|
November 22, 2024
|
|
Rocq Sharing Analyser (new plugin to print debug info)
|
|
0
|
64
|
November 5, 2024
|
|
Release of Iris 3.4 and std++ 1.11
|
|
0
|
38
|
October 31, 2024
|
|
[Coq Platform release] 2024.10.0 with Coq 8.19.2
|
|
0
|
58
|
October 28, 2024
|
|
Proofchat: A TCP client/server chat application written in Coq
|
|
10
|
150
|
October 3, 2024
|
|
[Postdoc position] Machine Learning for translation between formal mathematics libraries (2nd announcement)
|
|
0
|
78
|
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
|
77
|
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
|
345
|
September 9, 2024
|
|
Coq 8.20+rc1
|
|
1
|
61
|
August 30, 2024
|
|
Big Specification workshop at the Newton Institute
|
|
0
|
79
|
August 19, 2024
|
|
[VsCoq 2] Release 2.1.7
|
|
0
|
69
|
August 7, 2024
|
|
Verified Extraction for Coq 8.19
|
|
0
|
126
|
July 23, 2024
|
|
ANN: docker-coq: Bump to Debian 12 (& opam 2.2.0)
|
|
0
|
37
|
July 22, 2024
|
|
Coq Platform Docs: a documentation project for Coq and its Platform
|
|
0
|
85
|
July 18, 2024
|
|
[VsCoq] Release 2.1.4
|
|
0
|
38
|
July 8, 2024
|
|
CFP - JFLA 2025 - Journées Francophones des Langages Applicatifs
|
|
0
|
22
|
July 2, 2024
|
|
[VsCoq2] Release 2.1.3
|
|
0
|
64
|
June 25, 2024
|
|
Call for volunteer maintainers of math-classes and CORN
|
|
0
|
75
|
June 19, 2024
|
|
[Postdoc position] Machine Learning for translation between formal mathematics libraries
|
|
1
|
115
|
June 14, 2024
|
|
Coq 8.19.2
|
|
0
|
74
|
June 10, 2024
|
|
[ANN] coq-lsp 0.1.9
|
|
0
|
173
|
May 31, 2024
|