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
241 mails
Chronological Thread << < page # 7/9 > >>
- 16/02/24
- [Coq-Club] Coq formalizations of calculi with control operators, continuations etc., Tadeusz Litak
- [Coq-Club] why are Coercions restricted to names?, Jonathan Leivent
- Re: [Coq-Club] Coq formalizations of calculi with control operators, continuations etc., Gabriel Scherer
- Re: [Coq-Club] Doubt about In, Emilio Jesús Gallego Arias
- Re: [Coq-Club] why are Coercions restricted to names?, Jason Gross
- Re: [Coq-Club] Feature Request: Sealed definitions, Arnaud Spiwack
- [Coq-Club] Impredicativity of Prop, Talia Ringer
- Re: [Coq-Club] Impredicativity of Prop, roux cody
- Re: [Coq-Club] Impredicativity of Prop, Talia Ringer
- 16/02/25
- Re: [Coq-Club] Feature Request: Sealed definitions, Robbert Krebbers
- [Coq-Club] Lean Theorem Prover, Saulo Araujo
- Re: [Coq-Club] Lean Theorem Prover, Jonathan Leivent
- Re: [Coq-Club] Feature Request: Sealed definitions, Arnaud Spiwack
- RE: [Coq-Club] Lean Theorem Prover, Soegtrop, Michael
- Re: [Coq-Club] Feature Request: Sealed definitions, Robbert Krebbers
- Re: [Coq-Club] Lean Theorem Prover, Freek Wiedijk
- [Coq-Club] Postdoc position @ UAE University, Al-Ain, UAE, Osman Hasan
- Re: [Coq-Club] Doubt about In (and refine), Jean-Francois Monin
- Re: [Coq-Club] Lean Theorem Prover, Théo Zimmermann
- Re: [Coq-Club] Doubt about In (and refine), Saulo Araujo
- Re: [Coq-Club] Lean Theorem Prover, Benjamin Pierce
- RE: [Coq-Club] Lean Theorem Prover, Soegtrop, Michael
- Re: [Coq-Club] Lean Theorem Prover, Bas Spitters
- Re: [Coq-Club] Lean Theorem Prover, roux cody
- 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, Jonathan Leivent
- [Coq-Club] constructive proof of (P1 <-> ~ P2) <-> (~ P1 <-> P2), Stefan Ciobaca
- Re: [Coq-Club] Doubt about In (and refine), Jean-Francois Monin
- Re: [Coq-Club] constructive proof of (P1 <-> ~ P2) <-> (~ P1 <-> P2), Benoît Viguier
Archive powered by MHonArc 2.6.18.