|
Docker image of the Rocq Prover (rocq/rocq-prover:9.0)
|
|
1
|
71
|
March 23, 2025
|
|
PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University
|
|
0
|
346
|
October 11, 2023
|
|
[Assistant Professor position, TU Eindhoven, NL] Formal Verification of Cryptographic Implementations
|
|
0
|
80
|
July 2, 2024
|
|
PhD opportunity: Coq Formalisation of Differentiable Logics
|
|
0
|
244
|
July 13, 2024
|
|
PhD position at Swansea University, UK
|
|
0
|
62
|
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
|
48
|
March 3, 2025
|
|
[VsCoq] Release 2.2.5
|
|
0
|
40
|
February 27, 2025
|
|
Mini-symposium on proof assistants for education
|
|
0
|
61
|
February 27, 2025
|
|
[VsCoq] Release 2.2.4
|
|
0
|
58
|
February 20, 2025
|
|
Rocq 9.0+rc1 has just been tagged
|
|
3
|
81
|
February 14, 2025
|
|
Equations 1.3.1 for Rocq 9.0
|
|
0
|
45
|
January 29, 2025
|
|
Preview of Ltac2 Visual Debugger is now available
|
|
0
|
69
|
December 2, 2024
|
|
Coq 8.20.1 is out
|
|
0
|
49
|
January 20, 2025
|
|
The Rocq Prover - New identity and website
|
|
5
|
371
|
January 18, 2025
|
|
[VsCoq 2] Release 2.2.3
|
|
0
|
40
|
January 16, 2025
|
|
Proof-general auto bullet extension
|
|
6
|
55
|
January 7, 2025
|
|
AI for Math Fund
|
|
0
|
33
|
December 5, 2024
|
|
MathComp 2.3.0 released
|
|
0
|
31
|
November 28, 2024
|
|
Eighth Mathcomp sharing day
|
|
0
|
35
|
November 26, 2024
|
|
Lean Together 2025
|
|
0
|
157
|
November 25, 2024
|
|
Lecturer/Senior Lecturer in Mathematically Structured Programming at Strathclyde
|
|
0
|
52
|
November 22, 2024
|
|
Rocq Sharing Analyser (new plugin to print debug info)
|
|
0
|
76
|
November 5, 2024
|
|
Release of Iris 3.4 and std++ 1.11
|
|
0
|
46
|
October 31, 2024
|
|
[Coq Platform release] 2024.10.0 with Coq 8.19.2
|
|
0
|
68
|
October 28, 2024
|
|
Proofchat: A TCP client/server chat application written in Coq
|
|
10
|
200
|
October 3, 2024
|
|
[Postdoc position] Machine Learning for translation between formal mathematics libraries (2nd announcement)
|
|
0
|
84
|
October 3, 2024
|
|
[VsCoq 2] Release 2.2.1
|
|
0
|
46
|
September 24, 2024
|
|
[WITS 2025] Call for Contributions: 4th Workshop on the Implementation of Type Systems
|
|
0
|
19
|
September 22, 2024
|
|
Sixth Mathcomp sharing day
|
|
0
|
35
|
September 18, 2024
|