|
[VsCoq 2] Call for beta-testers
|
|
5
|
354
|
September 5, 2023
|
|
Workshop on Dafny at POPL 24
|
|
0
|
238
|
August 31, 2023
|
|
CfP: Certified Programs and Proofs (CPP)
|
|
0
|
307
|
August 14, 2023
|
|
Coq Community Survey 2022 Results: Part I
|
|
0
|
3114
|
July 13, 2022
|
|
Coq Community Survey 2022 Results: Part III
|
|
0
|
1471
|
August 31, 2022
|
|
Coq Community Survey 2022 Results: Part II
|
|
0
|
1497
|
August 3, 2022
|
|
Coq Community Survey 2022 Results: Part IV and ITP paper announcement
|
|
0
|
1243
|
July 28, 2023
|
|
[ANN] coq-lsp 0.1.7
|
|
0
|
510
|
July 11, 2023
|
|
Sherlocoq: Search released coq source-code
|
|
2
|
379
|
June 19, 2023
|
|
Postdoctoral Position in Orleans, France: Collaborative Memory Models for Formal Verification
|
|
0
|
312
|
June 10, 2023
|
|
Call for volunteer maintainers of CoqIDE
|
|
0
|
337
|
June 2, 2023
|
|
Deadline Extension: CfP 2023 Coq workshop, May 30th
|
|
0
|
272
|
May 26, 2023
|
|
2nd Call for presentations: 2023 Coq workshop
|
|
0
|
415
|
May 16, 2023
|
|
MathComp 2.0.0 released
|
|
0
|
426
|
May 15, 2023
|
|
MathComp 1.17.0 released
|
|
0
|
465
|
May 10, 2023
|
|
Towards coqffi.1.0.0 (Call for Testers)
|
|
5
|
1094
|
April 27, 2023
|
|
2023 Coq workshop call for presentations
|
|
0
|
343
|
April 25, 2023
|
|
MetaCoq 1.2 release
|
|
1
|
376
|
April 22, 2023
|
|
3-year engineering position in Deducteam, Inria Paris-Saclay, France
|
|
0
|
424
|
April 22, 2023
|
|
New Project - Implementing Haskell Curry's PhD Thesis on Combinatory Logic
|
|
0
|
362
|
April 21, 2023
|
|
Call for participation: ILDS Coq and Lean Autumn School 2023
|
|
0
|
386
|
April 13, 2023
|
|
Algebra Tactics 1.1.1 released
|
|
0
|
457
|
April 13, 2023
|
|
[ANN] Bignums release 9.0.0
|
|
0
|
316
|
March 20, 2023
|
|
PhD position at Inria / Nantes Université (France)
|
|
0
|
1336
|
March 4, 2023
|
|
[CUDW 2023] Coq Users and Developers Workshop - June 26 to 30 - Save the Date!
|
|
2
|
902
|
March 2, 2023
|
|
[ANN] coq-lsp release 0.1.5
|
|
0
|
684
|
February 15, 2023
|
|
Certified Elm web apps
|
|
2
|
814
|
February 2, 2023
|
|
MathComp 1.16.0 released
|
|
0
|
429
|
February 2, 2023
|
|
Volunteer co-maintainer needed for Docker-Coq
|
|
0
|
354
|
January 17, 2023
|
|
Coq Platform 2022.09.1 release with Coq 8.16.1
|
|
0
|
443
|
January 17, 2023
|