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/10
72 mails
Chronological Thread << < page 3 / 3 > >>
- Re: [Coq-Club] Observing "simplification of proofs as evaluation of programs" with Coq?, (continued)
- Re: [Coq-Club] Observing "simplification of proofs as evaluation of programs" with Coq?, Dominik Kirst, 10/27/2021
- Re: [Coq-Club] Observing "simplification of proofs as evaluation of programs" with Coq?, Jean-Francois Monin, 10/27/2021
- [Coq-Club] Equations by WellFounded ad hoc measure, manoury, 10/27/2021
- Re: [Coq-Club] Equations by WellFounded ad hoc measure, Yves Bertot, 10/27/2021
- Re: [Coq-Club] Equations by WellFounded ad hoc measure, manoury, 10/28/2021
- Re: [Coq-Club] Equations by WellFounded ad hoc measure, manoury, 10/28/2021
- Re: [Coq-Club] Equations by WellFounded ad hoc measure, manoury, 10/28/2021
- Re: [Coq-Club] Equations by WellFounded ad hoc measure, Yves Bertot, 10/27/2021
- [Coq-Club] PLMW@POPL 2022: 2nd Call for Application, Robbert Krebbers, 10/28/2021
- [Coq-Club] Short Term Winter Internship in Formalization of Algorithms - University of Bergen (Norway) - Duration 1-3 Months, Mateus de Oliveira Oliveira, 10/28/2021
- [Coq-Club] MathComp 1.13.0 released, Christian Doczkal, 10/28/2021
- [Coq-Club] Notation for a coinductive type, Julin S, 10/28/2021
- [Coq-Club] FSCD 2023: Call for Location, Carsten Fuhs, 10/29/2021
- [Coq-Club] Deadline Extension! Call for Presentations: PriSC 2022 @ POPL 2022, Jonathan Protzenko, 10/30/2021
Archive powered by MHonArc 2.6.19+.