|
Eleventh Mathcomp sharing day
|
|
0
|
30
|
May 20, 2025
|
|
First Rocq'n'share meeting
|
|
0
|
325
|
April 25, 2025
|
|
Tenth Mathcomp sharing day
|
|
0
|
26
|
April 25, 2025
|
|
[ANN] The Fifth Iris Workshop, June 2-6, 2025, Inria Paris
|
|
0
|
34
|
April 22, 2025
|
|
Sherlocoq: Search released coq source-code
|
|
4
|
501
|
April 22, 2025
|
|
MathComp 2.4.0 released
|
|
0
|
95
|
April 14, 2025
|
|
Coq Platform release with Coq 8.20
|
|
0
|
50
|
April 14, 2025
|
|
Looking for testers for ProofGeneral + coq9 (+ rocq cli)
|
|
0
|
219
|
April 3, 2025
|
|
Rocq Platform Docs: announcement and call to contribution
|
|
0
|
47
|
March 26, 2025
|
|
MetaRocq 1.4 for Rocq 9.0
|
|
0
|
28
|
March 26, 2025
|
|
Ninth Mathcomp sharing day
|
|
0
|
47
|
March 24, 2025
|
|
Docker image of the Rocq Prover (rocq/rocq-prover:9.0)
|
|
1
|
77
|
March 23, 2025
|
|
PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University
|
|
0
|
360
|
October 11, 2023
|
|
[Assistant Professor position, TU Eindhoven, NL] Formal Verification of Cryptographic Implementations
|
|
0
|
92
|
July 2, 2024
|
|
PhD opportunity: Coq Formalisation of Differentiable Logics
|
|
0
|
249
|
July 13, 2024
|
|
PhD position at Swansea University, UK
|
|
0
|
68
|
December 18, 2024
|
|
A Short Survey on Type-Driven Development Tools
|
|
0
|
36
|
March 14, 2025
|
|
Fully funded PhD position at KU Leuven on Mechanized Systems-Level Security (Deadline 2025-03-16)
|
|
0
|
63
|
March 3, 2025
|
|
[VsCoq] Release 2.2.5
|
|
0
|
42
|
February 27, 2025
|
|
Mini-symposium on proof assistants for education
|
|
0
|
62
|
February 27, 2025
|
|
[VsCoq] Release 2.2.4
|
|
0
|
68
|
February 20, 2025
|
|
Rocq 9.0+rc1 has just been tagged
|
|
3
|
85
|
February 14, 2025
|
|
Equations 1.3.1 for Rocq 9.0
|
|
0
|
50
|
January 29, 2025
|
|
Preview of Ltac2 Visual Debugger is now available
|
|
0
|
76
|
December 2, 2024
|
|
Coq 8.20.1 is out
|
|
0
|
58
|
January 20, 2025
|
|
The Rocq Prover - New identity and website
|
|
5
|
390
|
January 18, 2025
|
|
[VsCoq 2] Release 2.2.3
|
|
0
|
42
|
January 16, 2025
|
|
Proof-general auto bullet extension
|
|
6
|
72
|
January 7, 2025
|
|
AI for Math Fund
|
|
0
|
46
|
December 5, 2024
|
|
MathComp 2.3.0 released
|
|
0
|
35
|
November 28, 2024
|