coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 1993
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1994
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1997
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
2014/03
151 mails
Chronological Thread << < page # 3/6 > >>
- 14/03/11
- [Coq-Club] Call for Papers: SSV 2014, Toby Murray
- [Coq-Club] [TFP2014] Final Call For Papers, Peter Achten
- [Coq-Club] Formalization of Ott alpha-equivalence?, Mitchell Wand
- Re: [Coq-Club] Difference between [setoid_rewrite at 1] and [setoid_rewrite]?, Jason Gross
- 14/03/12
- [Coq-Club] increasing stack size, Kirill Taran
- [Coq-Club] debugging facilities, Kirill Taran
- Re: [Coq-Club] debugging facilities, Cedric Auger
- Re: [Coq-Club] debugging facilities, Kirill Taran
- Re: [Coq-Club] debugging facilities, Dmitry Grebeniuk
- Re: [Coq-Club] debugging facilities, Kirill Taran
- [Coq-Club] Ssreflect/MathComp 1.5 released, Assia Mahboubi
- Re: [Coq-Club] Formalization of Ott alpha-equivalence?, Francesco Zappa Nardelli
- [Coq-Club] Midlands Graduate School 2014, register now, Altenkirch Thorsten
- Re: [Coq-Club] Formalization of Ott alpha-equivalence?, Frédéric Blanqui
- Re: [Coq-Club] Formalization of Ott alpha-equivalence?, Mitchell Wand
- 14/03/13
- [Coq-Club] PhD position Better Testing with Game Theory, University of Twente, Marielle Stoelinga
- [Coq-Club] Haskell Symposium 2014: Call for papers, Wouter Swierstra
- [Coq-Club] Coq cannot find ML modules, Ali Assaf
- [Coq-Club] 2nd Call for Papers: UNIF 2014, Christophe Ringeissen
- 14/03/14
- [Coq-Club] Pi day, Laurent Théry
- Re: [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy theory & advantage of UF/Coq, Abhishek Anand
- 14/03/15
- 14/03/16
- [Coq-Club] ICTAI 2014: Second Call for Papers, Announce Announcements
- 14/03/17
- [Coq-Club] Dependently Typed Programming 2014 Call for Papers, Edwin Brady
- [Coq-Club] Call for Abstracts: Software for Mathematical Theory Exploration @ ICMS 2014, Wolfgang Windsteiger
- Re: [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy theory & advantage of UF/Coq, Pierre Courtieu
- [Coq-Club] Proofs in an elementary topos, Todd Wilson
- 14/03/18
- Re: [Coq-Club] Proofs in an elementary topos, Daniel Schepler
- Re: [Coq-Club] Proofs in an elementary topos, Ryan Wisnesky
Archive powered by MHonArc 2.6.18.