|
MathComp 2.1.0 released
|
|
0
|
196
|
October 25, 2023
|
|
Announcing Tactician version 1.0 beta2
|
|
0
|
296
|
October 23, 2023
|
|
[VsCoq 2] Release 2.0.2
|
|
0
|
215
|
October 17, 2023
|
|
Iris 4.1 and std++ 1.9 released
|
|
0
|
284
|
October 12, 2023
|
|
PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University
|
|
0
|
237
|
October 11, 2023
|
|
Permanent Post [L/SL] in Applied Formal Methods at Swansea University
|
|
0
|
207
|
September 28, 2023
|
|
PhD Position in formal proofs @LMF/Université Paris-Saclay
|
|
0
|
297
|
September 28, 2023
|
|
(2nd CfP) Dafny Workshop at POPL 24
|
|
0
|
190
|
September 27, 2023
|
|
[VsCoq Legacy] Release
|
|
0
|
228
|
September 20, 2023
|
|
[VsCoq 2] Patch Release 2.0.1
|
|
0
|
244
|
September 20, 2023
|
|
Coq Platform 2023.03.0 release with Coq 8.17.1
|
|
0
|
282
|
September 18, 2023
|
|
[VsCoq 2] Release
|
|
1
|
440
|
September 15, 2023
|
|
[VsCoq 2] Call for beta-testers
|
|
5
|
289
|
September 5, 2023
|
|
Workshop on Dafny at POPL 24
|
|
0
|
174
|
August 31, 2023
|
|
CfP: Certified Programs and Proofs (CPP)
|
|
0
|
224
|
August 14, 2023
|
|
Coq Community Survey 2022 Results: Part I
|
|
0
|
2912
|
July 13, 2022
|
|
Coq Community Survey 2022 Results: Part III
|
|
0
|
1352
|
August 31, 2022
|
|
Coq Community Survey 2022 Results: Part II
|
|
0
|
1369
|
August 3, 2022
|
|
Coq Community Survey 2022 Results: Part IV and ITP paper announcement
|
|
0
|
561
|
July 28, 2023
|
|
[ANN] coq-lsp 0.1.7
|
|
0
|
420
|
July 11, 2023
|
|
Sherlocoq: Search released coq source-code
|
|
2
|
326
|
June 19, 2023
|
|
Postdoctoral Position in Orleans, France: Collaborative Memory Models for Formal Verification
|
|
0
|
269
|
June 10, 2023
|
|
Call for volunteer maintainers of CoqIDE
|
|
0
|
273
|
June 2, 2023
|
|
Deadline Extension: CfP 2023 Coq workshop, May 30th
|
|
0
|
217
|
May 26, 2023
|
|
2nd Call for presentations: 2023 Coq workshop
|
|
0
|
329
|
May 16, 2023
|
|
MathComp 2.0.0 released
|
|
0
|
352
|
May 15, 2023
|
|
MathComp 1.17.0 released
|
|
0
|
398
|
May 10, 2023
|
|
Towards coqffi.1.0.0 (Call for Testers)
|
|
5
|
1027
|
April 27, 2023
|
|
2023 Coq workshop call for presentations
|
|
0
|
275
|
April 25, 2023
|
|
MetaCoq 1.2 release
|
|
1
|
323
|
April 22, 2023
|