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
2013/04
152 mails
Chronological Thread << < page # 5/6 > >>
- 13/04/23
- Re: [Coq-Club] Slow QED, Frédéric Besson
- Re: [Coq-Club] Extract proof checker for a specific proof, Bai Wei
- Re: [Coq-Club] Extract proof checker for a specific proof, Beta Ziliani
- Re: [Coq-Club] Extract proof checker for a specific proof, Frédéric Besson
- [Coq-Club] Remark on Qcanon, AUGER Cédric
- 13/04/24
- [Coq-Club] Discarding patterns in inversion equations, Keshav Kini
- [Coq-Club] Guardedness condition and cofix tactic, Jean-Baptiste Jeannin
- [Coq-Club] ------ GandALF 2013 ----- FINAL CALL FOR PAPERS -----, Pietro Sala
- [Coq-Club] PhD position on JavaScript at Orange, Alan Schmitt
- [Coq-Club] Does Coq proof checker can be used as a proof checker in Foundational PCC paradigm?, Bai Wei
- Re: [Coq-Club] Does Coq proof checker can be used as a proof checker in Foundational PCC paradigm?, Jonas Oberhauser
- Re: [Coq-Club] Does Coq proof checker can be used as a proof checker in Foundational PCC paradigm?, Adam Chlipala
- [Coq-Club] Reminder: PhD position on "Semantics and Verification of Accelerator Programming", Marieke Huisman
- Re: [Coq-Club] Does Coq proof checker can be used as a proof checker in Foundational PCC paradigm?, Duckki Oe
- 13/04/25
- [Coq-Club] Pattern matching issue, mauricio cano
- [Coq-Club] Finite set to list, Vincent BENAYOUN
- Re: [Coq-Club] Finite set to list, AUGER Cédric
- Re: [Coq-Club] Finite set to list, Christian Doczkal
- Re: [Coq-Club] Finite set to list, Daniel Schepler
- Re: [Coq-Club] Finite set to list, Pierre Courtieu
- Re: [Coq-Club] Does Coq proof checker can be used as a proof checker in Foundational PCC paradigm?, Amy Felty
- 13/04/26
- [Coq-Club] CiE 2013 - 2nd Call for Informal Presentations, S B Cooper
- Re: [Coq-Club] Finite set to list, Frédéric Blanqui
- Re: [Coq-Club] Check faulty?, Jason Gross
- [Coq-Club] Seeking industrial users of Proof General, David Aspinall
- 13/04/27
- [Coq-Club] ACL2 2013 - Call for Participation, Jared C. Davis
- 13/04/28
- 13/04/29
- [Coq-Club] Postdoc opening in PL and security at University of Pennsylvania, Benjamin C. Pierce
Archive powered by MHonArc 2.6.18.