Mailing List:
coq-club@inria.fr
Add newDisplay options
0
replies
2019 Doctoral Fellowships in Computer Science at the University of Birmingham, Applications Now Open
started 2018-11-17 19:06:36 UTC
2018-11-17 19:06:36 UTC
Benedikt Ahrens
7
replies
Coq 8.9+beta1 is out!
started 2018-11-06 15:46:14 UTC
2018-11-16 21:07:34 UTC
Théo Zimmermann
8
replies
Moving away from putting hints in the core hintdb
started 2018-11-15 01:27:43 UTC
2018-11-16 15:18:10 UTC
Soegtrop, Michael
0
replies
BedRock Systems is Hiring Formal Methods Engineers
started 2018-11-16 05:28:24 UTC
2018-11-16 05:28:24 UTC
Gregory Malecha
3
replies
displaying goal and hypotheses
started 2018-11-15 14:35:12 UTC
2018-11-15 19:11:58 UTC
Enrico Tassi
0
replies
Homotopy Type Theory and Univalent Foundations conference in Oslo
started 2018-11-14 18:29:32 UTC
2018-11-14 18:29:32 UTC
Benedikt Ahrens
4
replies
getting a definition as an equality theorem
started 2018-11-13 09:22:30 UTC
2018-11-14 00:17:44 UTC
Jason -Zhong Sheng- Hu
0
replies
FM'19: Final Call for Workshop & Tutorial Proposals
started 2018-11-13 15:29:11 UTC
2018-11-13 15:29:11 UTC
Renato Neves
0
replies
Data61 Seeking Research Scientist
started 2018-11-13 15:28:14 UTC
2018-11-13 15:28:14 UTC
G***@data61.csiro.au
0
replies
Data61 hiring Proof Engineers
started 2018-11-13 15:27:51 UTC
2018-11-13 15:27:51 UTC
G***@data61.csiro.au
1
reply
lia: strange performance behavior
started 2018-11-13 02:54:54 UTC
2018-11-13 14:59:30 UTC
Frédéric Besson
0
replies
New Co-inductive Restrictions
started 2018-11-13 01:45:02 UTC
2018-11-13 01:45:02 UTC
Gregory Malecha
3
replies
Call for Conference Grant Applications (Inclusiveness Target Countries)
started 2017-12-31 22:07:28 UTC
2018-11-12 15:12:07 UTC
Ambrus Kaposi
0
replies
Agda Implementors' Meeting XXIX - Tokyo, March 13 -- 19, 2019
started 2018-11-12 11:00:41 UTC
2018-11-12 11:00:41 UTC
Youyou Cong
12
replies
run recursive programs in coq
started 2018-11-01 16:21:17 UTC
2018-11-10 00:26:05 UTC
Jean-Christophe Léchenet
0
replies
CICM 2019, July 8-12: First Call for Submissions, Workshops & Tutorials
started 2018-11-09 14:41:37 UTC
2018-11-09 14:41:37 UTC
Serge Autexier
0
replies
First Call for Papers: PACMPL issue ICFP 2019
started 2018-11-09 13:27:57 UTC
2018-11-09 13:27:57 UTC
Sam Tobin-Hochstadt
3
replies
"Proofs of life"
started 2018-11-07 07:37:50 UTC
2018-11-09 13:27:21 UTC
Rene Vestergaard
0
replies
[French] Invitation au séminaire du GT TransForm - le 22 novembre 2018 à l'IFSTTAR VdA
started 2018-11-09 02:17:52 UTC
2018-11-09 02:17:52 UTC
David MENTRÉ
1
reply
Problem with Definition Matching
started 2018-11-09 01:50:47 UTC
2018-11-09 02:07:23 UTC
Gaëtan Gilbert
3
replies
strings.
started 2018-11-06 16:15:48 UTC
2018-11-09 00:40:38 UTC
Daniel Schepler
6
replies
How to evaluate reflexive tactics? (in a robust way)
started 2018-11-08 16:24:23 UTC
2018-11-08 18:43:07 UTC
Guillaume Melquiond
0
replies
PhD and postdoc positions in program verification at TUDelft
started 2018-11-08 01:30:06 UTC
2018-11-08 01:30:06 UTC
Robbert Krebbers
0
replies
[ANN] Docker images of Coq
started 2018-11-07 16:07:43 UTC
2018-11-07 16:07:43 UTC
Erik Martin-Dorel
7
replies
Problems installing coq-flocq via opam
started 2018-11-06 22:58:18 UTC
2018-11-07 15:25:21 UTC
Frédéric Blanqui
0
replies
CONCUR 2019 Call for Papers
started 2018-11-06 13:25:11 UTC
2018-11-06 13:25:11 UTC
Fokkink, W.J.
0
replies
ICLA 2019: EIGHTH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS 2019
started 2018-11-06 13:08:47 UTC
2018-11-06 13:08:47 UTC
g***@cs.miami.edu
0
replies
Coq website down?
started 2018-11-06 05:47:00 UTC
2018-11-06 05:47:00 UTC
Xuanrui Qi
0
replies
Journal of Functional Programming - Call for PhD Abstracts
started 2018-11-05 15:19:04 UTC
2018-11-05 15:19:04 UTC
Graham Hutton
7
replies
Proof on strong normalization of cic
started 2018-10-03 04:23:16 UTC
2018-11-05 14:17:49 UTC
Luo, Zhaohui
Click to Load More...
Loading...