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
2022/08
34 mails
Chronological Thread << < page 1 / 2 > >>
- [Coq-Club] New lecture in FME Teaching Tutorials series on July 29, at 3 pm CEST: Prof. Erika Abraham (RWTH Aachen University, Germany) on "Automatic exercise generation for satisfiability checking", Luigia Petre, 07/21/2022
- [Coq-Club] Call for Participation -- Mathematics of Program Construction 2022, Daggitt, Matthew, 07/26/2022
- Re: [Coq-Club] Simplifying pattern matching, Vedran Čačić, 07/31/2022
- Re: [Coq-Club] Simplifying pattern matching, mukesh tiwari, 08/04/2022
- Re: [Coq-Club] Simplifying pattern matching, Vedran Čačić, 08/04/2022
- Re: [Coq-Club] Simplifying pattern matching, Pierre Courtieu, 08/16/2022
- Re: [Coq-Club] Simplifying pattern matching, Vedran Čačić, 08/19/2022
- Re: [Coq-Club] Simplifying pattern matching, Pierre Courtieu, 08/19/2022
- Re: [Coq-Club] Simplifying pattern matching, Pierre Courtieu, 08/05/2022
- Re: [Coq-Club] Simplifying pattern matching, mukesh tiwari, 08/05/2022
- Re: [Coq-Club] Simplifying pattern matching, Vedran Čačić, 08/04/2022
- <Possible follow-up(s)>
- Re: [Coq-Club] Simplifying pattern matching, Wendlasida Ouedraogo, 08/01/2022
- Re: [Coq-Club] Simplifying pattern matching, mukesh tiwari, 08/04/2022
- [Coq-Club] 13th International School on Rewriting (ISR 2022), September 19-24, 2022, Tbilisi, Georgia - Registration Open, Besik Dundua, 07/31/2022
- [Coq-Club] Registration open: ICTAC autumn school, September 26-30, Tbilisi, Georgia, Besik Dundua, 07/31/2022
- [Coq-Club] Call for participation: EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs, Frédéric Blanqui, 08/04/2022
- [Coq-Club] PhD student in Computing Science on the topic of efficient and provably correct execution environments, Tjark Weber, 08/05/2022
- [Coq-Club] Dual of Well Founded Induction in CoInductive World, mukesh tiwari, 08/14/2022
- Re: [Coq-Club] Dual of Well Founded Induction in CoInductive World, Ralf Jung, 08/15/2022
- Re: [Coq-Club] Dual of Well Founded Induction in CoInductive World, mukesh tiwari, 08/16/2022
- Re: [Coq-Club] Dual of Well Founded Induction in CoInductive World, Ralf Jung, 08/15/2022
- [Coq-Club] Certified Programs and Proofs (CPP) 2023 Call for Papers, Steve Zdancewic, 08/16/2022
- [Coq-Club] Iris 4.0 and std++ 1.8 released, Ralf Jung, 08/19/2022
- [Coq-Club] FME Teaching Tutorials series continues on August 26, at 3 pm CEST: Dr. Robert Lewis (Brown University, US) on "Teaching the theory and practice of proof assistants with Lean", Luigia Petre, 08/22/2022
- [Coq-Club] Implementing a simple program using AVL tree., Suneel Sarswat, 08/23/2022
- Re: [Coq-Club] Implementing a simple program using AVL tree., mukesh tiwari, 08/24/2022
- Re: [Coq-Club] Implementing a simple program using AVL tree., Pierre Courtieu, 08/24/2022
- Re: [Coq-Club] Implementing a simple program using AVL tree., Suneel Sarswat, 08/24/2022
- Re: [Coq-Club] Implementing a simple program using AVL tree., Pierre Courtieu, 08/25/2022
- Re: [Coq-Club] Implementing a simple program using AVL tree., Suneel Sarswat, 08/26/2022
- Re: [Coq-Club] Implementing a simple program using AVL tree., Suneel Sarswat, 08/24/2022
- Re: [Coq-Club] Implementing a simple program using AVL tree., mukesh tiwari, 08/24/2022
- Re: [Coq-Club] Implementing a simple program using AVL tree., Suneel Sarswat, 08/24/2022
- Re: [Coq-Club] Implementing a simple program using AVL tree., Pierre Courtieu, 08/24/2022
- Re: [Coq-Club] Implementing a simple program using AVL tree., mukesh tiwari, 08/24/2022
Archive powered by MHonArc 2.6.19+.