5760 Threads
16105 Posts
Ranked #648
First post
2004-08-11 04:07:40 UTC
Mailing List:
coq-club@inria.fr
Add new
Display options
Show
threads
Order By
Last Message Date - Newest First
Last Message Date - Oldest First
Replycount - Most First
Replycount - Less First
Save
0
replies
iFM 2018: Registration Bursaries for PhD students and Early Stage Researchers
started
2018-08-20 04:32:12 UTC
2018-08-20 04:32:12 UTC
HaoWu
1
reply
Positions at a startup company, using Coq to prove hardware
started
2018-08-07 00:37:57 UTC
2018-08-17 22:36:57 UTC
Murali Vijayaraghavan
0
replies
PhD thesis position on formal proofs and programming languages at Siemens Mobility, France
started
2018-08-17 18:29:13 UTC
2018-08-17 18:29:13 UTC
Danko Ilik
2
replies
Ltac: Matching on hypothesis which contains user defined notations
started
2018-08-16 15:11:35 UTC
2018-08-16 21:03:00 UTC
Abhishek Kr Singh
5
replies
Probability / randomness frameworks in Coq
started
2018-08-16 01:11:54 UTC
2018-08-16 14:17:11 UTC
Soegtrop, Michael
0
replies
How to use ExtrOcamlZBigInt?
started
2018-08-15 01:32:51 UTC
2018-08-15 01:32:51 UTC
Yishuai Li
0
replies
First Call for Participation for IFL 2018 (Implementation and Application of Functional Languages)
started
2018-08-14 12:58:33 UTC
2018-08-14 12:58:33 UTC
Jurriaan Hage
2
replies
Differential Geometry Module Proposal
started
2018-08-09 23:30:34 UTC
2018-08-13 11:40:59 UTC
Thomas Burdick
5
replies
morphism option of ring tactic
started
2018-08-07 00:56:51 UTC
2018-08-10 18:16:14 UTC
Samuel Gruetter
0
replies
[isabelle, Coq-Club, MetaMath] The Zande's Challenge
started
2018-08-08 14:21:14 UTC
2018-08-08 14:21:14 UTC
José Manuel Rodriguez Caballero
0
replies
Advertising Coq Positions
started
2018-08-06 20:23:31 UTC
2018-08-06 20:23:31 UTC
Warren, Michael A
0
replies
Russell O'Connor's proof in Q0; Axiomatic Set Theory (ZFC) vs. Type Theory; "Is ZF a hack?" – Re: [Metamath] [FOM] proof assistants and foundations of mathematics
started
2018-08-06 15:51:52 UTC
2018-08-06 15:51:52 UTC
Ken Kubota
0
replies
Russell O'Connor's proof in Q0 – Re: [Metamath] Re: [FOM] proof assistants and foundations of mathematics
started
2018-08-05 15:41:38 UTC
2018-08-05 15:41:38 UTC
Ken Kubota
3
replies
Applications to medicine
started
2018-08-03 16:50:21 UTC
2018-08-03 18:12:46 UTC
Bas Spitters
2
replies
Problem with automation with sets
started
2018-08-02 01:47:02 UTC
2018-08-02 17:01:48 UTC
Ramsdell, John D.
0
replies
Call for Participants: Lean Together 2019
started
2018-07-31 18:39:35 UTC
2018-07-31 18:39:35 UTC
Rob Lewis
1
reply
[Positions Open] Smart contracts using formal methods
started
2018-07-31 03:15:10 UTC
2018-07-31 12:13:26 UTC
Soegtrop, Michael
0
replies
Two PhD Positions in Program Verification
started
2018-07-25 13:31:34 UTC
2018-07-25 13:31:34 UTC
Amin Timany
0
replies
CPP 2019: Call for Papers
started
2018-07-24 12:20:03 UTC
2018-07-24 12:20:03 UTC
Magnus Myreen
6
replies
Plugin development in emacs with merlin
started
2018-04-21 20:32:44 UTC
2018-07-20 16:04:38 UTC
Gaëtan Gilbert
1
reply
Coq 8.8.1 is out!
started
2018-07-10 02:31:53 UTC
2018-07-17 19:50:24 UTC
Perry E. Metzger
0
replies
[ANN] Coq-generated crypto code in Chrome
started
2018-07-15 19:04:13 UTC
2018-07-15 19:04:13 UTC
Adam Chlipala
0
replies
LAST CALL for draft papers for presentation at IFL 2018 (deadline this week)
started
2018-07-12 17:25:43 UTC
2018-07-12 17:25:43 UTC
Jurriaan Hage
0
replies
JFLA 2019 : 1er appel à communications
started
2018-07-12 13:57:20 UTC
2018-07-12 13:57:20 UTC
Nicolas Magaud
1
reply
Trying to define constant of some inductive type in Coq
started
2018-07-11 20:47:33 UTC
2018-07-12 13:44:02 UTC
Carlos Olarte
1
reply
Representable Functions and Representably-Complete Partial Orders
started
2018-05-07 23:57:59 UTC
2018-07-12 05:44:52 UTC
Eddy Westbrook
0
replies
Postdoc position at Paris Diderot University
started
2018-07-07 11:37:30 UTC
2018-07-07 11:37:30 UTC
Alexis Saurin IRIF
0
replies
Post-doctoral researchers wanted for Coq Developments @ VERIMAG
started
2018-07-07 11:36:24 UTC
2018-07-07 11:36:24 UTC
David Monniaux
3
replies
Proposition for strictly positive occurrence
started
2018-07-03 05:20:34 UTC
2018-07-04 03:05:53 UTC
Thorsten Altenkirch
0
replies
DSSS17 Slack Summary
started
2018-07-03 23:10:12 UTC
2018-07-03 23:10:12 UTC
Calvin Beck
Click to Load More...
Loading...