|
UK home fees PhD position in Mathematically Structured Programming at Strathclyde
|
|
2
|
75
|
December 7, 2025
|
|
First release of `rocqblueprint` tool for building formalization blueprints
|
|
0
|
71
|
December 5, 2025
|
|
FMBC CFP
|
|
0
|
28
|
December 2, 2025
|
|
PhD positions in Automated and Foundational Verification at ISTA
|
|
0
|
71
|
November 27, 2025
|
|
"Numerical Computations and Proofs: from Proof-Assistants to Aerospace Applications" (habil. defense, December 1st)
|
|
1
|
88
|
November 24, 2025
|
|
Thirteenth Mathcomp sharing day
|
|
0
|
49
|
November 24, 2025
|
|
MathComp 2.5.0 released
|
|
0
|
93
|
November 17, 2025
|
|
Full Professor position in Programming Languages at the University of Tartu
|
|
0
|
44
|
November 6, 2025
|
|
Call for Nominations: OOPSLA 2026 Artifact Evaluation Committee
|
|
2
|
91
|
October 31, 2025
|
|
RocqPL call for presentation
|
|
1
|
94
|
October 24, 2025
|
|
Rocq 9.1.0 released
|
|
0
|
70
|
October 14, 2025
|
|
AI for formal math researcher at Mistral AI
|
|
0
|
262
|
October 2, 2025
|
|
Twelfth Mathcomp sharing day
|
|
0
|
34
|
September 18, 2025
|
|
[ANN] coq-lsp 0.2.4
|
|
0
|
52
|
September 17, 2025
|
|
EuroProofNet Workshop on Proof Libraries 15-16 September 2025
|
|
0
|
52
|
September 14, 2025
|
|
Rocqshop 2025 call for presentations
|
|
2
|
155
|
July 15, 2025
|
|
Release of Iris 4.4 and std++ 1.12, Announcement of iris-contrib
|
|
0
|
76
|
July 2, 2025
|
|
Autumn school "Proof and Computation", Herrsching (Germany), 14-20 Sep 2025
|
|
1
|
61
|
June 26, 2025
|
|
Announcement: opam-repository (opam.ocaml.org) archiving process
|
|
0
|
72
|
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
|
77
|
June 12, 2025
|
|
[ANN] coq-lsp 0.2.3
|
|
0
|
59
|
June 4, 2025
|
|
[VsCoq] Release 2.2.6
|
|
0
|
73
|
May 20, 2025
|
|
First Rocq'n'share meeting
|
|
0
|
350
|
April 25, 2025
|
|
[ANN] The Fifth Iris Workshop, June 2-6, 2025, Inria Paris
|
|
0
|
41
|
April 22, 2025
|
|
Sherlocoq: Search released coq source-code
|
|
4
|
505
|
April 22, 2025
|
|
MathComp 2.4.0 released
|
|
0
|
102
|
April 14, 2025
|
|
Coq Platform release with Coq 8.20
|
|
0
|
59
|
April 14, 2025
|
|
Looking for testers for ProofGeneral + coq9 (+ rocq cli)
|
|
0
|
224
|
April 3, 2025
|
|
Rocq Platform Docs: announcement and call to contribution
|
|
0
|
52
|
March 26, 2025
|