coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Second order logic library?

From: Caitlin McGregor <caitlin.mcgregor AT anu.edu.au>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Second order logic library?
Date: Thu, 23 Mar 2017 00:03:13 +0000
Accept-language: en-AU, en-US
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=caitlin.mcgregor AT anu.edu.au; spf=Pass smtp.mailfrom=caitlin.mcgregor AT anu.edu.au; spf=Pass smtp.helo=postmaster AT AUS01-ME1-obe.outbound.protection.outlook.com
Ironport-phdr: 9a23:HtcQqRPV/cLYdHxtTE0l6mtUPXoX/o7sNwtQ0KIMzox0Iv/5rarrMEGX3/hxlliBBdydsKMYzbKO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZPebgFHiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhSkHKTA37X3XhMJzgqJavB2uqAdyzJTIbI2JLvdyYr/Rcc4cSGFcXshRTStBAoakYoYRFeUBPPpYr438p1sIsBCwAhWjCuL1yjBWiX/22rc62PkmHA7axgMgHs4OsHDVrNXzLqsSVPy6zKbSzTrdYPNW3i395ZPSfRAnvPGAR6x/ftfMyUU1DQzFk0ydpIr4ND2WzuQAq3WX4/ZvWO61hGMqqRt9riWyysotkIXFm5wZxkzc+SlnwIs5P8C0RUxmbdK+E5ZcrS6XOo1rSc04WW5oojw1yrgetJ67YicKzJMnygbDZvOJboaE/g/vWP+WLzl3mX5pYbW/iA2s/kS6ze38S9W0301NripYlNnDq2oB1wTJ6siAVvty4Fuu2SqO1wDU7OFIO0c0lbfHK54lxb4wkZkTvV7fES/xnUX6lK6WdkM69ei08+nrf6nqq5CGO4J7iAzyKLkiltG+DOgiLwQCQXSX9fy51LL5/E35RLtKjucxkqncqJ3VOd4Upq+lAw9R04Yj7QyzDzK639QXh3kIMl1FeBWdj4XyIV7OJu34Ae2hjFuxjTdn3erJPqD5DpXXMnfDiKvhfap660NE1AUzyslf64tIBbEFPfL8QVT8tMfYDx88Kwy72fzrCNR71oMEWGKAGLWVMK3IsQzA2uV6aeKLfcoevCv3A/kj/f/ny3Ej0xdJdq6wmJATdXqQH/J8Ikzfb2C60fkbFmJflQM/UOjrjhWnWhFJanm1Repo7Tg6FIanC8HGTY+3jbOGxg+yGIAQa2xbTFmRRyS7P76YUusBPXrBavRqlSYJAOCs
Spamdiagnosticmetadata: NSPM
Spamdiagnosticoutput: 1:99

Hi all,

I am looking for a second order logic library in Coq, or even a first order library. Does anyone know if these are available?

Thanks in advance,

Caitlin

[Coq-Club] Second order logic library?, Caitlin McGregor, 03/23/2017
- Re: [Coq-Club] Second order logic library?, Adam Chlipala, 03/23/2017
  - Re: [Coq-Club] Second order logic library?, Caitlin McGregor, 03/23/2017
    - Re: [Coq-Club] Second order logic library?, Pierre Courtieu, 03/23/2017
      - Re: [Coq-Club] Second order logic library?, Caitlin McGregor, 03/23/2017
        
        Re: [Coq-Club] Second order logic library?, Asya Bergal, 03/23/2017
        
        Re: [Coq-Club] Second order logic library?, Asya Bergal, 03/23/2017
        
        Re: [Coq-Club] Second order logic library?, Anders Lundstedt, 03/24/2017
        Re: [Coq-Club] Second order logic library?, Caitlin McGregor, 03/27/2017