|
Sixth Mathcomp sharing day
|
|
0
|
28
|
September 18, 2024
|
|
[Job Offer] Production Engineer for the Coq Platform
|
|
0
|
73
|
September 16, 2024
|
|
[VsCoq 2] Release 2.2.0
|
|
0
|
41
|
September 14, 2024
|
|
Coq 8.20.0 is out
|
|
0
|
97
|
September 11, 2024
|
|
Yet Another Tactics Index for Beginners
|
|
5
|
319
|
September 9, 2024
|
|
Coq 8.20+rc1
|
|
1
|
51
|
August 30, 2024
|
|
Big Specification workshop at the Newton Institute
|
|
0
|
74
|
August 19, 2024
|
|
[VsCoq 2] Release 2.1.7
|
|
0
|
68
|
August 7, 2024
|
|
Verified Extraction for Coq 8.19
|
|
0
|
121
|
July 23, 2024
|
|
ANN: docker-coq: Bump to Debian 12 (& opam 2.2.0)
|
|
0
|
29
|
July 22, 2024
|
|
Coq Platform Docs: a documentation project for Coq and its Platform
|
|
0
|
74
|
July 18, 2024
|
|
PhD opportunity: Coq Formalisation of Differentiable Logics
|
|
0
|
190
|
July 13, 2024
|
|
[VsCoq] Release 2.1.4
|
|
0
|
34
|
July 8, 2024
|
|
CFP - JFLA 2025 - Journées Francophones des Langages Applicatifs
|
|
0
|
21
|
July 2, 2024
|
|
[Assistant Professor position, TU Eindhoven, NL] Formal Verification of Cryptographic Implementations
|
|
0
|
46
|
July 2, 2024
|
|
[VsCoq2] Release 2.1.3
|
|
0
|
62
|
June 25, 2024
|
|
Call for volunteer maintainers of math-classes and CORN
|
|
0
|
69
|
June 19, 2024
|
|
[Postdoc position] Machine Learning for translation between formal mathematics libraries
|
|
1
|
110
|
June 14, 2024
|
|
Coq 8.19.2
|
|
0
|
74
|
June 10, 2024
|
|
[ANN] coq-lsp 0.1.9
|
|
0
|
157
|
May 31, 2024
|
|
Coq Workshop 2024 call for presentations
|
|
2
|
126
|
May 31, 2024
|
|
Second Mathcomp sharing day
|
|
0
|
85
|
May 22, 2024
|
|
Alpha Announcement: Coq is a Lean Typechecker
|
|
7
|
12111
|
May 6, 2024
|
|
[WAIT2024] Call for Contributions: Fifth International Workshop on Automated (Co)inductive Theorem Proving
|
|
0
|
109
|
May 5, 2024
|
|
Deadline Extension: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24)
|
|
0
|
97
|
April 30, 2024
|
|
First Mathcomp sharing day
|
|
1
|
153
|
April 27, 2024
|
|
[CUDW 2024] Coq User And Developers Workshop 2024 — July 1st - July 5th — Save the date!
|
|
0
|
266
|
April 12, 2024
|
|
Iris 4.2 and std++ 1.10
|
|
0
|
136
|
April 12, 2024
|
|
Volunteers for ICFP 2024 Artifact Evaluation Committee (AEC)
|
|
0
|
153
|
March 26, 2024
|
|
Annals of Formalized Mathematics
|
|
0
|
187
|
March 22, 2024
|