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
2021/02
91 mails
Chronological Thread << < page 1 / 4 > >>
- Re: [Coq-Club] Type error for user-defined induction principle for inductive type, Jerome Hugues, 01/29/2021
- [Coq-Club] Call for Papers: Tests and Proofs 2021 (TAP 2021) New Deadlines, Frederic Loulergue, 02/02/2021
- [Coq-Club] Call for Papers: PACMPL issue ICFP 2021, Sam Tobin-Hochstadt, 02/02/2021
- [Coq-Club] Bridge to the Faculty positions at the University of Illinois at Chicago, Mansky, William Ernest, 02/02/2021
- [Coq-Club] Set Proof Using Clear Unused, Abhishek Anand, 02/02/2021
- Re: [Coq-Club] Set Proof Using Clear Unused, Théo Zimmermann, 02/03/2021
- Re: [Coq-Club] smarter fold tactic, Abhishek Anand, 02/04/2021
- [Coq-Club] LICS 2021 Online and Call for Workshops, Sam Staton, 02/04/2021
- [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, jonikelee AT gmail.com, 02/05/2021
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, jonikelee AT gmail.com, 02/05/2021
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, jonikelee AT gmail.com, 02/05/2021
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, Pierre Courtieu, 02/06/2021
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, jonikelee AT gmail.com, 02/07/2021
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, Jason Gross, 02/07/2021
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, jonikelee AT gmail.com, 02/07/2021
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, Jason Gross, 02/07/2021
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, jonikelee AT gmail.com, 02/07/2021
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, jonikelee AT gmail.com, 02/07/2021
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, jonikelee AT gmail.com, 02/05/2021
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, jonikelee AT gmail.com, 02/05/2021
- [Coq-Club] 21st Midlands Graduate School in the Foundations of Computing Science: Call for Participation, Andrei Popescu, 02/09/2021
- [Coq-Club] FSCD 2021: Extended deadline (Abstract: February 16/ Submission: February 22), Carsten Fuhs, 02/11/2021
- [Coq-Club] PhD position in Formal Methods/Decompilation at the Open University of The Netherlands, Freek Verbeek, 02/11/2021
- [Coq-Club] 10 PhD studentships in Nottingham, Graham Hutton, 02/11/2021
- [Coq-Club] Proof automation for large terms?, Eddy Westbrook, 02/12/2021
- Re: [Coq-Club] Proof automation for large terms?, Andrew Appel, 02/12/2021
- Re: [Coq-Club] Proof automation for large terms?, Talia Ringer, 02/12/2021
- Re: [Coq-Club] Proof automation for large terms?, Clément Pit-Claudel, 02/12/2021
- Re: [Coq-Club] Proof automation for large terms?, jonikelee AT gmail.com, 02/13/2021
- Re: [Coq-Club] Proof automation for large terms?, Andrew Appel, 02/12/2021
- [Coq-Club] Dependent typing puzzle, constructor injectivity, Gert Smolka, 02/13/2021
- Re: [Coq-Club] Dependent typing puzzle, constructor injectivity, Gert Smolka, 02/13/2021
- Re: [Coq-Club] Dependent typing puzzle, constructor injectivity, Kenji Maillard, 02/13/2021
- Re: [Coq-Club] Dependent typing puzzle, constructor injectivity, Gert Smolka, 02/13/2021
Archive powered by MHonArc 2.6.19+.