|
PhD position at Swansea University, UK
|
|
0
|
73
|
December 18, 2024
|
|
A Short Survey on Type-Driven Development Tools
|
|
0
|
40
|
March 14, 2025
|
|
Fully funded PhD position at KU Leuven on Mechanized Systems-Level Security (Deadline 2025-03-16)
|
|
0
|
70
|
March 3, 2025
|
|
[VsCoq] Release 2.2.5
|
|
0
|
49
|
February 27, 2025
|
|
Mini-symposium on proof assistants for education
|
|
0
|
70
|
February 27, 2025
|
|
[VsCoq] Release 2.2.4
|
|
0
|
80
|
February 20, 2025
|
|
Rocq 9.0+rc1 has just been tagged
|
|
3
|
90
|
February 14, 2025
|
|
Equations 1.3.1 for Rocq 9.0
|
|
0
|
52
|
January 29, 2025
|
|
Preview of Ltac2 Visual Debugger is now available
|
|
0
|
89
|
December 2, 2024
|
|
Coq 8.20.1 is out
|
|
0
|
60
|
January 20, 2025
|
|
The Rocq Prover - New identity and website
|
|
5
|
411
|
January 18, 2025
|
|
[VsCoq 2] Release 2.2.3
|
|
0
|
47
|
January 16, 2025
|
|
Proof-general auto bullet extension
|
|
6
|
79
|
January 7, 2025
|
|
AI for Math Fund
|
|
0
|
60
|
December 5, 2024
|
|
MathComp 2.3.0 released
|
|
0
|
35
|
November 28, 2024
|
|
Eighth Mathcomp sharing day
|
|
0
|
37
|
November 26, 2024
|
|
Lean Together 2025
|
|
0
|
175
|
November 25, 2024
|
|
Lecturer/Senior Lecturer in Mathematically Structured Programming at Strathclyde
|
|
0
|
59
|
November 22, 2024
|
|
Rocq Sharing Analyser (new plugin to print debug info)
|
|
0
|
81
|
November 5, 2024
|
|
Release of Iris 3.4 and std++ 1.11
|
|
0
|
52
|
October 31, 2024
|
|
[Coq Platform release] 2024.10.0 with Coq 8.19.2
|
|
0
|
82
|
October 28, 2024
|
|
Proofchat: A TCP client/server chat application written in Coq
|
|
10
|
242
|
October 3, 2024
|
|
[Postdoc position] Machine Learning for translation between formal mathematics libraries (2nd announcement)
|
|
0
|
96
|
October 3, 2024
|
|
[VsCoq 2] Release 2.2.1
|
|
0
|
54
|
September 24, 2024
|
|
[WITS 2025] Call for Contributions: 4th Workshop on the Implementation of Type Systems
|
|
0
|
30
|
September 22, 2024
|
|
Sixth Mathcomp sharing day
|
|
0
|
38
|
September 18, 2024
|
|
[Job Offer] Production Engineer for the Coq Platform
|
|
0
|
94
|
September 16, 2024
|
|
[VsCoq 2] Release 2.2.0
|
|
0
|
62
|
September 14, 2024
|
|
Coq 8.20.0 is out
|
|
0
|
124
|
September 11, 2024
|
|
Yet Another Tactics Index for Beginners
|
|
5
|
452
|
September 9, 2024
|