ProofGeneral release 4.5
|
|
1
|
271
|
November 15, 2022
|
PhD Position on Certified Extraction in Nantes
|
|
0
|
911
|
September 8, 2020
|
Research internships at MPI
|
|
0
|
656
|
December 11, 2020
|
PhD position in HoTT/UF at TU Delft
|
|
0
|
465
|
June 7, 2021
|
Job opening: visiting research programmer, machine learning for Coq
|
|
0
|
382
|
March 12, 2022
|
PhD student position on proof theory and verification of legal software in Coq, Barcelona (Deadline: April 3rd, AoE)
|
|
0
|
331
|
March 29, 2022
|
Full-time positions in formalized mathematics at Düsseldorf
|
|
0
|
340
|
June 23, 2022
|
Two positions at the University of Bonn in the field of formal mathematics and computer assisted theorem proving
|
|
0
|
236
|
October 5, 2022
|
PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University
|
|
0
|
169
|
October 12, 2022
|
Postdoc and Internship positions at IBM Research
|
|
0
|
343
|
October 14, 2022
|
Interval 4.6, now with decimal enclosures and floating-point rounding operators
|
|
0
|
120
|
October 27, 2022
|
MathComp Workshop and Winter School (Dec 5-9 2022) - second call
|
|
0
|
171
|
October 12, 2022
|
Coq Platform 2022.09.0 (including beta version for Coq 8.16.0 and a updated and extended package pick)
|
|
0
|
204
|
October 11, 2022
|
Volunteer interim maintainers needed for VsCoq
|
|
0
|
190
|
September 27, 2022
|
[Call for papers] 1st Workshop on Sources of Unsoundness in Verification
|
|
0
|
160
|
September 2, 2022
|
New release of Software Foundations
|
|
0
|
261
|
September 2, 2022
|
Coq Community Survey 2022 Results: Part III
|
|
0
|
841
|
August 31, 2022
|
MathComp Workshop and Winter School (Dec 5-9 2022)
|
|
0
|
305
|
August 30, 2022
|
Iris 4.0 and std++ 1.8 released
|
|
0
|
241
|
August 20, 2022
|
Coq 8.15.2 now available on Codewars
|
|
2
|
176
|
August 17, 2022
|
EuroProofNet workshop on the development, maintenance, refactoring and search of large libraries of formal proofs
|
|
0
|
178
|
July 12, 2022
|
FormalV 1.0.0 released
|
|
0
|
194
|
July 11, 2022
|
Certified Symbolic-Numeric Computation
|
|
0
|
208
|
July 7, 2022
|
MetaCoq 1.0 released
|
|
0
|
237
|
July 5, 2022
|
MathComp 1.15.0 released
|
|
0
|
248
|
June 30, 2022
|
ANN: (docker-coq: Bump to Debian 11) & (docker-coq-action: Remove `ocaml_version: "minimal"`)
|
|
3
|
390
|
June 29, 2022
|
Coq Platform release 2022.04.1
|
|
0
|
214
|
June 27, 2022
|
CompCert receives ACM Software System Award
|
|
1
|
299
|
May 27, 2022
|
The Coq Workshop 2022: Call for Presentation Proposals
|
|
1
|
550
|
May 9, 2022
|
HTT 1.0 released
|
|
0
|
210
|
May 4, 2022
|