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