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