|
Postdoctoral Position in Orleans, France: Collaborative Memory Models for Formal Verification
|
|
0
|
177
|
June 10, 2023
|
|
Call for volunteer maintainers of CoqIDE
|
|
0
|
182
|
June 2, 2023
|
|
Deadline Extension: CfP 2023 Coq workshop, May 30th
|
|
0
|
147
|
May 26, 2023
|
|
2nd Call for presentations: 2023 Coq workshop
|
|
0
|
221
|
May 16, 2023
|
|
MathComp 2.0.0 released
|
|
0
|
251
|
May 15, 2023
|
|
MathComp 1.17.0 released
|
|
0
|
280
|
May 10, 2023
|
|
Towards coqffi.1.0.0 (Call for Testers)
|
|
5
|
922
|
April 27, 2023
|
|
2023 Coq workshop call for presentations
|
|
0
|
179
|
April 25, 2023
|
|
MetaCoq 1.2 release
|
|
1
|
224
|
April 22, 2023
|
|
3-year engineering position in Deducteam, Inria Paris-Saclay, France
|
|
0
|
263
|
April 22, 2023
|
|
New Project - Implementing Haskell Curry's PhD Thesis on Combinatory Logic
|
|
0
|
199
|
April 21, 2023
|
|
Call for participation: ILDS Coq and Lean Autumn School 2023
|
|
0
|
228
|
April 13, 2023
|
|
Algebra Tactics 1.1.1 released
|
|
0
|
289
|
April 13, 2023
|
|
[ANN] Bignums release 9.0.0
|
|
0
|
188
|
March 20, 2023
|
|
PhD position at Inria / Nantes Université (France)
|
|
0
|
631
|
March 4, 2023
|
|
[CUDW 2023] Coq Users and Developers Workshop - June 26 to 30 - Save the Date!
|
|
2
|
594
|
March 2, 2023
|
|
[ANN] coq-lsp release 0.1.5
|
|
0
|
424
|
February 15, 2023
|
|
Certified Elm web apps
|
|
2
|
652
|
February 2, 2023
|
|
MathComp 1.16.0 released
|
|
0
|
259
|
February 2, 2023
|
|
Volunteer co-maintainer needed for Docker-Coq
|
|
0
|
235
|
January 17, 2023
|
|
Coq Platform 2022.09.1 release with Coq 8.16.1
|
|
0
|
231
|
January 17, 2023
|
|
VsCoq 0.3.7 is out
|
|
0
|
343
|
January 11, 2023
|
|
Verification Jobs @ Cryspen (France/Germany)
|
|
0
|
363
|
January 11, 2023
|
|
Coq LSP release 0.1.2
|
|
1
|
317
|
January 9, 2023
|
|
Job offer - postdoc position in Inria Sophia Antipolis
|
|
1
|
269
|
January 3, 2023
|
|
MathComp Workshop and Winter School (Dec 5-9 2022) - last call
|
|
0
|
354
|
November 18, 2022
|
|
ProofGeneral release 4.5
|
|
1
|
425
|
November 15, 2022
|
|
PhD Position on Certified Extraction in Nantes
|
|
0
|
1043
|
September 8, 2020
|
|
Research internships at MPI
|
|
0
|
763
|
December 11, 2020
|
|
PhD position in HoTT/UF at TU Delft
|
|
0
|
584
|
June 7, 2021
|