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/06
181 mails
Chronological Thread << < page # 2/7 > >>
- RE: [Coq-Club] Elegant way to show Equivalence (fun m n => Nat.eqb m n = true) from standard library lemmas?, (continued)
- RE: [Coq-Club] Elegant way to show Equivalence (fun m n => Nat.eqb m n = true) from standard library lemmas?, Soegtrop, Michael, 06/02/2016
- Re: [Coq-Club] Elegant way to show Equivalence (fun m n => Nat.eqb m n = true) from standard library lemmas?, Emilio Jesús Gallego Arias, 06/02/2016
- RE: [Coq-Club] Elegant way to show Equivalence (fun m n => Nat.eqb m n = true) from standard library lemmas?, Soegtrop, Michael, 06/03/2016
- RE: [Coq-Club] Elegant way to show Equivalence (fun m n => Nat.eqb m n = true) from standard library lemmas?, Soegtrop, Michael, 06/02/2016
- [Coq-Club] Printing-only notation, Ralf Jung, 06/04/2016
- [Coq-Club] contradiction, Vadim Zaliva, 06/05/2016
- Re: [Coq-Club] contradiction, Cyprien Mangin, 06/05/2016
- [Coq-Club] Software Foundations, version 4.0, Benjamin C. Pierce, 06/06/2016
- [Coq-Club] CakeML PostDoc position on Trustworthy Refactoring, Scott Owens, 06/06/2016
- [Coq-Club] WADT 2016 -- Extended Deadline, JAMES P. (366409), 06/06/2016
- Re: [Coq-Club] Names of bound variables of existing lemma changes, Ralf Jung, 06/06/2016
- [Coq-Club] CiE 2016: Call for Participation - Paris, 27/6-1/7/2016, CiE Conference Series, 06/07/2016
- [Coq-Club] postdoc in formal methods for system-level security, David Nowak, 06/08/2016
- [Coq-Club] curious behavior of "Locate" command, Matej Kosik, 06/08/2016
- Re: [Coq-Club] curious behavior of "Locate" command, Clément Pit--Claudel, 06/08/2016
- Re: [Coq-Club] curious behavior of "Locate" command, Tej Chajed, 06/08/2016
- Re: [Coq-Club] curious behavior of "Locate" command, Matej Kosik, 06/08/2016
- Re: [Coq-Club] curious behavior of "Locate" command, Tej Chajed, 06/08/2016
- Re: [Coq-Club] curious behavior of "Locate" command, Guillaume Melquiond, 06/08/2016
- Re: [Coq-Club] curious behavior of "Locate" command, Clément Pit--Claudel, 06/08/2016
- [Coq-Club] [Call for Papers] SYNASC 2016, Timisoara, Romania, Isabela Dramnesc, 06/10/2016
- [Coq-Club] Question about examples of TypeClass in reference-manual, Zhaohui Li, 06/11/2016
- Re: [Coq-Club] Question about examples of TypeClass in reference-manual, Jean-Marie Madiot, 06/11/2016
- RE: [Coq-Club] Question about examples of TypeClass in reference-manual, Soegtrop, Michael, 06/11/2016
- Re: [Coq-Club] Question about examples of TypeClass in reference-manual, Robbert Krebbers, 06/11/2016
- RE: [Coq-Club] Question about examples of TypeClass in reference-manual, Soegtrop, Michael, 06/11/2016
- Re: [Coq-Club] Question about examples of TypeClass in reference-manual, Zhaohui Li, 06/12/2016
- RE: [Coq-Club] Question about examples of TypeClass in reference-manual, Soegtrop, Michael, 06/11/2016
- Re: [Coq-Club] Question about examples of TypeClass in reference-manual, Jean-Marie Madiot, 06/11/2016
- Re: [Coq-Club] Typeclasses vs canonical instances, Vadim Zaliva, 06/11/2016
- RE: [Coq-Club] Typeclasses vs canonical instances, Soegtrop, Michael, 06/13/2016
- [Coq-Club] Fixpoint reduction?, Randy Pollack, 06/11/2016
- Re: [Coq-Club] Fixpoint reduction?, roux cody, 06/12/2016
- [Coq-Club] Workshop on Categorical Logic and Univalent Foundations: Deadline Approaching, Christian Sattler, 06/12/2016
- [Coq-Club] ANN: jsCoq 0.8 / SerAPI 0.02, Emilio Jesús Gallego Arias, 06/13/2016
Archive powered by MHonArc 2.6.18.