|
First Rocq'n'share meeting
|
|
0
|
378
|
April 25, 2025
|
|
[ANN] The Fifth Iris Workshop, June 2-6, 2025, Inria Paris
|
|
0
|
43
|
April 22, 2025
|
|
Sherlocoq: Search released coq source-code
|
|
4
|
508
|
April 22, 2025
|
|
MathComp 2.4.0 released
|
|
0
|
110
|
April 14, 2025
|
|
Coq Platform release with Coq 8.20
|
|
0
|
65
|
April 14, 2025
|
|
Looking for testers for ProofGeneral + coq9 (+ rocq cli)
|
|
0
|
233
|
April 3, 2025
|
|
Rocq Platform Docs: announcement and call to contribution
|
|
0
|
54
|
March 26, 2025
|
|
MetaRocq 1.4 for Rocq 9.0
|
|
0
|
35
|
March 26, 2025
|
|
Ninth Mathcomp sharing day
|
|
0
|
51
|
March 24, 2025
|
|
Docker image of the Rocq Prover (rocq/rocq-prover:9.0)
|
|
1
|
94
|
March 23, 2025
|
|
PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University
|
|
0
|
370
|
October 11, 2023
|
|
[Assistant Professor position, TU Eindhoven, NL] Formal Verification of Cryptographic Implementations
|
|
0
|
103
|
July 2, 2024
|
|
PhD opportunity: Coq Formalisation of Differentiable Logics
|
|
0
|
259
|
July 13, 2024
|
|
PhD position at Swansea University, UK
|
|
0
|
83
|
December 18, 2024
|
|
A Short Survey on Type-Driven Development Tools
|
|
0
|
41
|
March 14, 2025
|
|
Fully funded PhD position at KU Leuven on Mechanized Systems-Level Security (Deadline 2025-03-16)
|
|
0
|
75
|
March 3, 2025
|
|
[VsCoq] Release 2.2.5
|
|
0
|
51
|
February 27, 2025
|
|
Mini-symposium on proof assistants for education
|
|
0
|
72
|
February 27, 2025
|
|
[VsCoq] Release 2.2.4
|
|
0
|
81
|
February 20, 2025
|
|
Rocq 9.0+rc1 has just been tagged
|
|
3
|
92
|
February 14, 2025
|
|
Equations 1.3.1 for Rocq 9.0
|
|
0
|
54
|
January 29, 2025
|
|
Preview of Ltac2 Visual Debugger is now available
|
|
0
|
89
|
December 2, 2024
|
|
Coq 8.20.1 is out
|
|
0
|
63
|
January 20, 2025
|
|
The Rocq Prover - New identity and website
|
|
5
|
414
|
January 18, 2025
|
|
[VsCoq 2] Release 2.2.3
|
|
0
|
48
|
January 16, 2025
|
|
Proof-general auto bullet extension
|
|
6
|
81
|
January 7, 2025
|
|
AI for Math Fund
|
|
0
|
64
|
December 5, 2024
|
|
MathComp 2.3.0 released
|
|
0
|
35
|
November 28, 2024
|
|
Eighth Mathcomp sharing day
|
|
0
|
38
|
November 26, 2024
|
|
Lean Together 2025
|
|
0
|
180
|
November 25, 2024
|