|
Lean Together 2025
|
|
0
|
118
|
November 25, 2024
|
|
Lecturer/Senior Lecturer in Mathematically Structured Programming at Strathclyde
|
|
0
|
27
|
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
|
36
|
October 31, 2024
|
|
[Coq Platform release] 2024.10.0 with Coq 8.19.2
|
|
0
|
56
|
October 28, 2024
|
|
Proofchat: A TCP client/server chat application written in Coq
|
|
10
|
135
|
October 3, 2024
|
|
[Postdoc position] Machine Learning for translation between formal mathematics libraries (2nd announcement)
|
|
0
|
76
|
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
|
75
|
September 16, 2024
|
|
[VsCoq 2] Release 2.2.0
|
|
0
|
42
|
September 14, 2024
|
|
Coq 8.20.0 is out
|
|
0
|
100
|
September 11, 2024
|
|
Yet Another Tactics Index for Beginners
|
|
5
|
325
|
September 9, 2024
|
|
Coq 8.20+rc1
|
|
1
|
59
|
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
|
125
|
July 23, 2024
|
|
ANN: docker-coq: Bump to Debian 12 (& opam 2.2.0)
|
|
0
|
33
|
July 22, 2024
|
|
Coq Platform Docs: a documentation project for Coq and its Platform
|
|
0
|
83
|
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
|
71
|
June 19, 2024
|
|
[Postdoc position] Machine Learning for translation between formal mathematics libraries
|
|
1
|
114
|
June 14, 2024
|
|
Coq 8.19.2
|
|
0
|
74
|
June 10, 2024
|
|
[ANN] coq-lsp 0.1.9
|
|
0
|
161
|
May 31, 2024
|
|
Coq Workshop 2024 call for presentations
|
|
2
|
126
|
May 31, 2024
|
|
Second Mathcomp sharing day
|
|
0
|
86
|
May 22, 2024
|
|
Alpha Announcement: Coq is a Lean Typechecker
|
|
7
|
12128
|
May 6, 2024
|