|
[WAIT2024] Call for Contributions: Fifth International Workshop on Automated (Co)inductive Theorem Proving
|
|
0
|
107
|
May 5, 2024
|
|
Deadline Extension: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24)
|
|
0
|
95
|
April 30, 2024
|
|
First Mathcomp sharing day
|
|
1
|
152
|
April 27, 2024
|
|
[CUDW 2024] Coq User And Developers Workshop 2024 — July 1st - July 5th — Save the date!
|
|
0
|
252
|
April 12, 2024
|
|
Iris 4.2 and std++ 1.10
|
|
0
|
127
|
April 12, 2024
|
|
Volunteers for ICFP 2024 Artifact Evaluation Committee (AEC)
|
|
0
|
153
|
March 26, 2024
|
|
Annals of Formalized Mathematics
|
|
0
|
179
|
March 22, 2024
|
|
MetaCoq 1.3.1 release
|
|
0
|
207
|
March 19, 2024
|
|
Coq 8.19.1
|
|
0
|
219
|
March 4, 2024
|
|
[RFC] EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages
|
|
2
|
230
|
February 29, 2024
|
|
[VsCoq 2] Release 2.1.2
|
|
0
|
162
|
February 21, 2024
|
|
ITP 2024 : Second call for papers
|
|
0
|
209
|
February 16, 2024
|
|
[VsCoq 2] Release 2.1.0
|
|
0
|
186
|
February 13, 2024
|
|
VOLPIC: A verification pipeline for Pascal
|
|
2
|
224
|
February 8, 2024
|
|
MathComp 2.2.0 and 1.19.0 released
|
|
0
|
165
|
January 18, 2024
|
|
Experiment: Coq Code Interpreter in ChatGPT
|
|
3
|
451
|
January 12, 2024
|
|
Announcing Graph2Tac, a prover based on Tactician's new API
|
|
0
|
595
|
January 12, 2024
|
|
Master Program on Formalised Math
|
|
0
|
274
|
January 8, 2024
|
|
VLSM 1.3 release
|
|
0
|
199
|
December 22, 2023
|
|
MetaCoq tutorial at POPL on Sunday, January 14th
|
|
1
|
191
|
December 21, 2023
|
|
Interactions Between Proof Assistants and Mathematical Software at ICMS 2024 (call for abstracts)
|
|
0
|
175
|
December 18, 2023
|
|
[VsCoq 2] Release 2.0.3
|
|
0
|
228
|
December 5, 2023
|
|
Internships at CNES, the French space agency
|
|
0
|
227
|
November 27, 2023
|
|
[ANN] coq-lsp 0.1.8
|
|
0
|
255
|
November 14, 2023
|
|
Call for volunteer maintainers of the Coq Library of Complexity Theory
|
|
0
|
277
|
November 8, 2023
|
|
Formally verified endgame tablebase generator
|
|
0
|
251
|
November 5, 2023
|
|
MathComp 1.18.0 released
|
|
0
|
236
|
November 1, 2023
|
|
CoqPL 2024: Call for Presentations
|
|
1
|
374
|
October 26, 2023
|
|
MathComp 2.1.0 released
|
|
0
|
297
|
October 25, 2023
|
|
Announcing Tactician version 1.0 beta2
|
|
0
|
362
|
October 23, 2023
|