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 > >>
- 21/01/29
- 21/02/02
- [Coq-Club] Call for Papers: Tests and Proofs 2021 (TAP 2021) New Deadlines, Frederic Loulergue
- [Coq-Club] Call for Papers: PACMPL issue ICFP 2021, Sam Tobin-Hochstadt
- [Coq-Club] Bridge to the Faculty positions at the University of Illinois at Chicago, Mansky, William Ernest
- [Coq-Club] Set Proof Using Clear Unused, Abhishek Anand
- 21/02/03
- Re: [Coq-Club] Set Proof Using Clear Unused, Théo Zimmermann
- 21/02/04
- Re: [Coq-Club] smarter fold tactic, Abhishek Anand
- [Coq-Club] LICS 2021 Online and Call for Workshops, Sam Staton
- 21/02/05
- [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, jonikelee AT gmail.com
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, jonikelee AT gmail.com
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, jonikelee AT gmail.com
- 21/02/06
- 21/02/07
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, jonikelee AT gmail.com
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, Jason Gross
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, jonikelee AT gmail.com
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, Jason Gross
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, jonikelee AT gmail.com
- Re: [Coq-Club] Puzzle: tactic that can check Sort subtyping without adding universe constraints?, jonikelee AT gmail.com
- 21/02/09
- 21/02/11
- 21/02/12
- [Coq-Club] Proof automation for large terms?, Eddy Westbrook
- Re: [Coq-Club] Proof automation for large terms?, Andrew Appel
- Re: [Coq-Club] Proof automation for large terms?, Talia Ringer
- Re: [Coq-Club] Proof automation for large terms?, Clément Pit-Claudel
- 21/02/13
- Re: [Coq-Club] Proof automation for large terms?, jonikelee AT gmail.com
- [Coq-Club] Dependent typing puzzle, constructor injectivity, Gert Smolka
- Re: [Coq-Club] Dependent typing puzzle, constructor injectivity, Gert Smolka
- Re: [Coq-Club] Dependent typing puzzle, constructor injectivity, Kenji Maillard
Archive powered by MHonArc 2.6.19+.