coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CoqPIE public distribution

From: Kenneth Roe <kendroe AT hotmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] CoqPIE public distribution
Date: Tue, 1 Mar 2016 16:34:20 -0500
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kendroe AT hotmail.com; spf=Pass smtp.mailfrom=kendroe AT hotmail.com; spf=None smtp.helo=postmaster AT BLU004-OMC1S25.hotmail.com
Ironport-phdr: 9a23:ZRTslBQobq0VWqAtUH7Srx8AK9psv+yvbD5Q0YIujvd0So/mwa64ZxKN2/xhgRfzUJnB7Loc0qyN4/+mBjRLuMrY+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8KVPF0D3WbkKZpJbzyI7izp/vEMhoVjLqtjgjDomVBvP9ps+GVzOFiIlAz97MrjtLRq8iBXpu5zv5UYCfayLOwESulTCy1jOGQo7uXqswPCRE2B/CgySGITxzlFBQ7I8BGyZJD8+n/5u+xxwi6XFc3xUbU9WDDk5KBuHky7wBwbPiI0pTmEwvd7i7hW9Uqs

A beta version of CoqPIE is now available from GitHib at the following link:

CoqPIE is an IDE that can be used in place of Proof General or CoqIDE. Click the link below for a poster I presented at the High Confidence Software Systems conference in May 2015 which gives a brief description of the system.

HCSS 2015 poster

I would greatly appreciate feedback from anyone in the community.

- Ken

[Coq-Club] CoqPIE public distribution, Kenneth Roe, 03/01/2016