|
A formal proof of Abel-Ruffini Theorem in Coq
|
|
0
|
992
|
January 13, 2021
|
|
Release of Coq 8.13.0
|
|
0
|
349
|
January 12, 2021
|
|
Coq 8.12.2 is out
|
|
0
|
199
|
December 24, 2020
|
|
Research internships at MPI
|
|
0
|
260
|
December 11, 2020
|
|
Release of Coq 8.13+beta1
|
|
0
|
207
|
December 9, 2020
|
|
About the -native-compiler flag and the coq-native opam package (to be released before Coq 8.13+beta1)
|
|
0
|
253
|
December 7, 2020
|
|
Announcing Tactician 1.0 beta1
|
|
0
|
311
|
December 4, 2020
|
|
Coq 8.12.1 is out!
|
|
1
|
251
|
November 27, 2020
|
|
NASA Formal Methods 2021 - Call for Papers
|
|
2
|
385
|
November 27, 2020
|
|
MathComp 1.12.0 released
|
|
0
|
225
|
November 26, 2020
|
|
Alectryon, a toolkit for writing technical documents that mix Coq code and prose
|
|
5
|
516
|
November 19, 2020
|
|
Next CUDW 2020/11/30 to 2020/12/04 — Save the Date!
|
|
2
|
414
|
November 16, 2020
|
|
Ph.D. Defense of Jason Gross on Performance Engineering of Proof-Based Software Systems at Scale
|
|
0
|
341
|
November 7, 2020
|
|
Alpha Announcement: Coq is a Lean Typechecker
|
|
6
|
9457
|
October 16, 2020
|
|
Tree Calculus
|
|
0
|
486
|
October 14, 2020
|
|
Announcing Coq 8.12 support for Codewars
|
|
1
|
240
|
October 14, 2020
|
|
Call for Presentations: PriSC 2021 @ POPL 2021
|
|
0
|
251
|
September 16, 2020
|
|
PhD Position on Certified Extraction in Nantes
|
|
0
|
417
|
September 8, 2020
|
|
[poll] Next CUDW 2020 -- Reloaded
|
|
0
|
223
|
September 4, 2020
|
|
Coq 8.12.0 is out!
|
|
0
|
391
|
July 27, 2020
|
|
Planet Coq, a link aggregator about Coq
|
|
5
|
441
|
July 19, 2020
|
|
Iris 3.3 and std++ 1.4
|
|
0
|
385
|
July 15, 2020
|
|
PLV has a new blog!
|
|
1
|
380
|
July 5, 2020
|
|
Initial release of Roosterize, a tool for suggesting lemma names, for Coq 8.10
|
|
0
|
289
|
July 3, 2020
|
|
Initial release of machine learning dataset based on Mathematical Components 1.9.0
|
|
0
|
239
|
July 3, 2020
|
|
[ANN] Coqoune
|
|
0
|
266
|
July 2, 2020
|
|
[Call for participation] The Coq workshop 2020
|
|
0
|
567
|
June 26, 2020
|
|
First release of Kôika 🦑, a core language for rule-based hardware design
|
|
2
|
549
|
June 20, 2020
|
|
Equations 1.2.2 for Coq 8.11 and Coq 8.12
|
|
0
|
314
|
June 20, 2020
|
|
First beta release of Coq 8.12 (and a call for help to improve the documentation)
|
|
0
|
304
|
June 19, 2020
|
