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
2018/08
91 mails
Chronological Thread << < page # 1/4 > >>
- 18/07/31
- 18/08/01
- 18/08/02
- Re: [Coq-Club] Problem with automation with sets, Adam Chlipala
- Re: [Coq-Club] Problem with automation with sets, Ramsdell, John D.
- 18/08/03
- [Coq-Club] Applications to medicine, José Manuel Rodriguez Caballero
- RE: [Coq-Club] Applications to medicine, Soegtrop, Michael
- Re: [Coq-Club] Applications to medicine, Tej Chajed
- Re: [Coq-Club] Applications to medicine, Bas Spitters
- 18/08/05
- 18/08/06
- [Coq-Club] Russell O'Connor's proof in Q0; Axiomatic Set Theory (ZFC) vs. Type Theory; "Is ZF a hack?" – Re: [Metamath] [FOM] proof assistants and foundations of mathematics, Ken Kubota
- [Coq-Club] PPDP | LOPSTR | WFLP 2018 Common Call for Participation, David Sabel
- [Coq-Club] Advertising Coq Positions, Warren, Michael A
- [Coq-Club] Positions at a startup company, using Coq to prove hardware, Adam Chlipala
- [Coq-Club] morphism option of ring tactic, Samuel Gruetter
- 18/08/07
- RE: [Coq-Club] morphism option of ring tactic, Soegtrop, Michael
- RE: [Coq-Club] morphism option of ring tactic, Soegtrop, Michael
- 18/08/08
- [Coq-Club] Call for Participation: ICFP 2018, Lindsey Kuper
- [Coq-Club] [isabelle, Coq-Club, MetaMath] The Zande's Challenge, José Manuel Rodriguez Caballero
- Re: [Coq-Club] morphism option of ring tactic, Samuel Gruetter
- RE: [Coq-Club] morphism option of ring tactic, Soegtrop, Michael
- 18/08/09
- 18/08/10
- 18/08/13
- Re: [Coq-Club] Differential Geometry Module Proposal, Thomas Burdick
- 18/08/14
- 18/08/15
- [Coq-Club] Pointwise definition of function, Anton Podkopaev
- Re: [Coq-Club] Pointwise definition of function, Anton Podkopaev
Archive powered by MHonArc 2.6.18.