|
MathComp 2.5.0 released
|
|
0
|
99
|
November 17, 2025
|
|
Full Professor position in Programming Languages at the University of Tartu
|
|
0
|
45
|
November 6, 2025
|
|
Call for Nominations: OOPSLA 2026 Artifact Evaluation Committee
|
|
2
|
102
|
October 31, 2025
|
|
RocqPL call for presentation
|
|
1
|
104
|
October 24, 2025
|
|
Rocq 9.1.0 released
|
|
0
|
73
|
October 14, 2025
|
|
AI for formal math researcher at Mistral AI
|
|
0
|
294
|
October 2, 2025
|
|
Twelfth Mathcomp sharing day
|
|
0
|
35
|
September 18, 2025
|
|
[ANN] coq-lsp 0.2.4
|
|
0
|
60
|
September 17, 2025
|
|
EuroProofNet Workshop on Proof Libraries 15-16 September 2025
|
|
0
|
52
|
September 14, 2025
|
|
Rocqshop 2025 call for presentations
|
|
2
|
167
|
July 15, 2025
|
|
Release of Iris 4.4 and std++ 1.12, Announcement of iris-contrib
|
|
0
|
80
|
July 2, 2025
|
|
Autumn school "Proof and Computation", Herrsching (Germany), 14-20 Sep 2025
|
|
1
|
69
|
June 26, 2025
|
|
Announcement: opam-repository (opam.ocaml.org) archiving process
|
|
0
|
80
|
June 24, 2025
|
|
VSTTE 2025: Second call for papers (deadline: July 18th)
|
|
0
|
47
|
June 18, 2025
|
|
Postdoc position on type systems for multiple unit systems
|
|
0
|
80
|
June 12, 2025
|
|
[ANN] coq-lsp 0.2.3
|
|
0
|
64
|
June 4, 2025
|
|
[VsCoq] Release 2.2.6
|
|
0
|
74
|
May 20, 2025
|
|
First Rocq'n'share meeting
|
|
0
|
365
|
April 25, 2025
|
|
[ANN] The Fifth Iris Workshop, June 2-6, 2025, Inria Paris
|
|
0
|
42
|
April 22, 2025
|
|
Sherlocoq: Search released coq source-code
|
|
4
|
506
|
April 22, 2025
|
|
MathComp 2.4.0 released
|
|
0
|
107
|
April 14, 2025
|
|
Coq Platform release with Coq 8.20
|
|
0
|
60
|
April 14, 2025
|
|
Looking for testers for ProofGeneral + coq9 (+ rocq cli)
|
|
0
|
225
|
April 3, 2025
|
|
Rocq Platform Docs: announcement and call to contribution
|
|
0
|
52
|
March 26, 2025
|
|
MetaRocq 1.4 for Rocq 9.0
|
|
0
|
34
|
March 26, 2025
|
|
Ninth Mathcomp sharing day
|
|
0
|
50
|
March 24, 2025
|
|
Docker image of the Rocq Prover (rocq/rocq-prover:9.0)
|
|
1
|
93
|
March 23, 2025
|
|
PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University
|
|
0
|
366
|
October 11, 2023
|
|
[Assistant Professor position, TU Eindhoven, NL] Formal Verification of Cryptographic Implementations
|
|
0
|
102
|
July 2, 2024
|
|
PhD opportunity: Coq Formalisation of Differentiable Logics
|
|
0
|
254
|
July 13, 2024
|