|
[Follow-up] The Coq Workshop 2019
|
|
1
|
94
|
September 18, 2019
|
|
Natural deduction in Coq - A tutorial (in german)
|
|
2
|
217
|
September 8, 2019
|
|
Iris 3.2 and std++ 1.2.1
|
|
1
|
186
|
August 30, 2019
|
|
Dependently typed Haskell in industry
|
|
1
|
173
|
August 10, 2019
|
|
[CI] OS+OPAM Upgrade for Docker images of Coq and MathComp
|
|
1
|
158
|
August 2, 2019
|
|
[Call for Participation] The Coq Workshop 2019
|
|
1
|
228
|
August 1, 2019
|
|
Recruiting proof engineers for a study on development processes
|
|
1
|
188
|
July 30, 2019
|
|
jsCoq and SerAPI releases
|
|
1
|
330
|
April 24, 2019
|
|
LibHyps 1.0: tactics for manipulation of (groups of) hypothesis
|
|
3
|
163
|
July 10, 2019
|
|
Proving for Fun: Summer Edition
|
|
5
|
250
|
July 5, 2019
|
|
[CFP] The Coq Workshop 2019 (Deadline Extension)
|
|
1
|
106
|
June 6, 2019
|
|
Looking for Formal Methods Engineer to work at NASA
|
|
1
|
538
|
June 6, 2019
|
|
[2nd CFP] The Coq Workshop 2019
|
|
1
|
116
|
May 22, 2019
|
|
Coq 8.9.1
|
|
1
|
171
|
May 21, 2019
|
|
Coq-community project releases for Coq 8.9
|
|
1
|
127
|
May 20, 2019
|
|
Coq 8.10+β1
|
|
1
|
170
|
May 15, 2019
|
|
std++ 1.2
|
|
4
|
197
|
May 4, 2019
|
|
Coq Users and Developers Workshop 2019 -- Call for participation
|
|
1
|
199
|
May 3, 2019
|
|
Plugin for proof reuse with indexed types for Coq 8.8.0
|
|
1
|
114
|
April 1, 2019
|
|
Equations 1.2beta2
|
|
1
|
126
|
March 19, 2019
|
|
[CFP] The Coq Workshop 2019
|
|
1
|
195
|
March 15, 2019
|
|
A library of undecidable problems for Coq
|
|
1
|
226
|
February 26, 2019
|
