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
2016/02
244 mails
Chronological Thread << < page # 8/9 > >>
- 16/02/25
- Re: [Coq-Club] constructive proof of (P1 <-> ~ P2) <-> (~ P1 <-> P2), Jonathan Leivent
- Re: [Coq-Club] constructive proof of (P1 <-> ~ P2) <-> (~ P1 <-> P2), Robbert Krebbers
- Re: [Coq-Club] constructive proof of (P1 <-> ~ P2) <-> (~ P1 <-> P2), Julian Michael
- Re: [Coq-Club] constructive proof of (P1 <-> ~ P2) <-> (~ P1 <-> P2), Julian Michael
- Re: [Coq-Club] constructive proof of (P1 <-> ~ P2) <-> (~ P1 <-> P2), Ralf Jung
- [Coq-Club] CFP: HCCV 2016 - Workshop on High-Consequence Control Verification, Mayo, Jackson
- Re: [Coq-Club] why are Coercions restricted to names?, Jonathan Leivent
- Re: [Coq-Club] constructive proof of (P1 <-> ~ P2) <-> (~ P1 <-> P2), Michel Levy
- [Coq-Club] Two postdoc positions - Reasoning about concurrency and distribution - Imperial College London, Petar Maksimovic
- [Coq-Club] Events on Verified Trustworthy Software Systems, London, April 4-7, Petar Maksimovic
- Re: [Coq-Club] Lean Theorem Prover, John Wiegley
- Re: [Coq-Club] Lean Theorem Prover, Daniel Schepler
- Re: [Coq-Club] Lean Theorem Prover, Abhishek Anand
- 16/02/26
- Re: [Coq-Club] Lean Theorem Prover, Daniel Schepler
- Re: [Coq-Club] Lean Theorem Prover, roux cody
- Re: [Coq-Club] Lean Theorem Prover, Jonathan Leivent
- Re: [Coq-Club] Lean Theorem Prover, Arnaud Spiwack
- Re: [Coq-Club] Lean Theorem Prover, Dominic Mulligan
- [Coq-Club] Call for Participation: MSFP 2016, Bob Atkey
- Re: [Coq-Club] Lean Theorem Prover, Bas Spitters
- Re: [Coq-Club] Lean Theorem Prover, Clément Pit--Claudel
- Re: [Coq-Club] Lean Theorem Prover, Benjamin C. Pierce
- RE: [Coq-Club] Lean Theorem Prover, Soegtrop, Michael
- Re: [Coq-Club] Lean Theorem Prover, Clément Pit--Claudel
- RE: [Coq-Club] Lean Theorem Prover, Makarius
- Re: [Coq-Club] Lean Theorem Prover, Clément Pit--Claudel
- Re: [Coq-Club] Lean Theorem Prover, Clément Pit--Claudel
- Re: [Coq-Club] Lean Theorem Prover, Makarius
- Re: [Coq-Club] Lean Theorem Prover, Daniel Schepler
- 16/02/27
- Re: [Coq-Club] Lean Theorem Prover, Saulo Araujo
Archive powered by MHonArc 2.6.18.