coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Lean Theorem Prover

From: Clément Pit--Claudel <clement.pit AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Lean Theorem Prover
Date: Thu, 25 Feb 2016 10:48:08 -0500
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=clement.pit AT gmail.com; spf=SoftFail smtp.mailfrom=clement.pit AT gmail.com; spf=None smtp.helo=postmaster AT mout.kundenserver.de
Ironport-phdr: 9a23:lBIH2BGwY6/tQPtjKgpY251GYnF86YWxBRYc798ds5kLTJ75o8mwAkXT6L1XgUPTWs2DsrQf27WQ7fmrBTdIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niKbsotaPOE1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvdKMhCLdcET4OMmYv5cStuwOQYxGI4y43VuQTnxxUNDDE8FS/dZP4ryf3sqIp0y2XOMDwUfYsWCiK4KJiSRuugyACYW1quFrLg9B92foI6CmqoAZyltbZ

On 02/25/2016 10:29 AM, roux cody wrote:
> (though the Agda-style unicode bindings are just so fun!).

What do you mean?

Attachment: signature.asc
Description: OpenPGP digital signature

[Coq-Club] Lean Theorem Prover, Saulo Araujo, 02/25/2016
- Re: [Coq-Club] Lean Theorem Prover, Jonathan Leivent, 02/25/2016
  - RE: [Coq-Club] Lean Theorem Prover, Soegtrop, Michael, 02/25/2016
    - Re: [Coq-Club] Lean Theorem Prover, Benjamin Pierce, 02/25/2016
      - RE: [Coq-Club] Lean Theorem Prover, Soegtrop, Michael, 02/25/2016
  - Re: [Coq-Club] Lean Theorem Prover, Freek Wiedijk, 02/25/2016
    - Re: [Coq-Club] Lean Theorem Prover, Théo Zimmermann, 02/25/2016
    - Re: [Coq-Club] Lean Theorem Prover, Bas Spitters, 02/25/2016
      - Re: [Coq-Club] Lean Theorem Prover, roux cody, 02/25/2016
        
        Re: [Coq-Club] Lean Theorem Prover, Clément Pit--Claudel, 02/25/2016
        
        Re: [Coq-Club] Lean Theorem Prover, Clément Pit--Claudel, 02/25/2016
        
        Re: [Coq-Club] Lean Theorem Prover, Jonathan Leivent, 02/25/2016
    - Re: [Coq-Club] Lean Theorem Prover, John Wiegley, 02/25/2016
- Re: [Coq-Club] Lean Theorem Prover, Daniel Schepler, 02/25/2016
  - Re: [Coq-Club] Lean Theorem Prover, Abhishek Anand, 02/25/2016
    - Re: [Coq-Club] Lean Theorem Prover, Daniel Schepler, 02/26/2016
      - Re: [Coq-Club] Lean Theorem Prover, roux cody, 02/26/2016
        
        Re: [Coq-Club] Lean Theorem Prover, Jonathan Leivent, 02/26/2016
        
        Re: [Coq-Club] Lean Theorem Prover, Arnaud Spiwack, 02/26/2016
        
        Re: [Coq-Club] Lean Theorem Prover, Clément Pit--Claudel, 02/26/2016
        
        Re: [Coq-Club] Lean Theorem Prover, Benjamin C. Pierce, 02/26/2016