|
Experiment: Coq Code Interpreter in ChatGPT
|
|
3
|
530
|
January 12, 2024
|
|
Announcing Graph2Tac, a prover based on Tactician's new API
|
|
0
|
647
|
January 12, 2024
|
|
Master Program on Formalised Math
|
|
0
|
290
|
January 8, 2024
|
|
VLSM 1.3 release
|
|
0
|
200
|
December 22, 2023
|
|
MetaCoq tutorial at POPL on Sunday, January 14th
|
|
1
|
196
|
December 21, 2023
|
|
Interactions Between Proof Assistants and Mathematical Software at ICMS 2024 (call for abstracts)
|
|
0
|
179
|
December 18, 2023
|
|
[VsCoq 2] Release 2.0.3
|
|
0
|
232
|
December 5, 2023
|
|
Internships at CNES, the French space agency
|
|
0
|
254
|
November 27, 2023
|
|
[ANN] coq-lsp 0.1.8
|
|
0
|
271
|
November 14, 2023
|
|
Call for volunteer maintainers of the Coq Library of Complexity Theory
|
|
0
|
287
|
November 8, 2023
|
|
Formally verified endgame tablebase generator
|
|
0
|
257
|
November 5, 2023
|
|
MathComp 1.18.0 released
|
|
0
|
243
|
November 1, 2023
|
|
CoqPL 2024: Call for Presentations
|
|
1
|
387
|
October 26, 2023
|
|
MathComp 2.1.0 released
|
|
0
|
311
|
October 25, 2023
|
|
Announcing Tactician version 1.0 beta2
|
|
0
|
374
|
October 23, 2023
|
|
[VsCoq 2] Release 2.0.2
|
|
0
|
264
|
October 17, 2023
|
|
Iris 4.1 and std++ 1.9 released
|
|
0
|
361
|
October 12, 2023
|
|
Permanent Post [L/SL] in Applied Formal Methods at Swansea University
|
|
0
|
295
|
September 28, 2023
|
|
PhD Position in formal proofs @LMF/Université Paris-Saclay
|
|
0
|
463
|
September 28, 2023
|
|
(2nd CfP) Dafny Workshop at POPL 24
|
|
0
|
261
|
September 27, 2023
|
|
[VsCoq Legacy] Release
|
|
0
|
288
|
September 20, 2023
|
|
[VsCoq 2] Patch Release 2.0.1
|
|
0
|
314
|
September 20, 2023
|
|
Coq Platform 2023.03.0 release with Coq 8.17.1
|
|
0
|
376
|
September 18, 2023
|
|
[VsCoq 2] Release
|
|
1
|
583
|
September 15, 2023
|
|
[VsCoq 2] Call for beta-testers
|
|
5
|
369
|
September 5, 2023
|
|
Workshop on Dafny at POPL 24
|
|
0
|
245
|
August 31, 2023
|
|
CfP: Certified Programs and Proofs (CPP)
|
|
0
|
314
|
August 14, 2023
|
|
Coq Community Survey 2022 Results: Part I
|
|
0
|
3296
|
July 13, 2022
|
|
Coq Community Survey 2022 Results: Part III
|
|
0
|
1594
|
August 31, 2022
|
|
Coq Community Survey 2022 Results: Part II
|
|
0
|
1587
|
August 3, 2022
|