Looking for collaborators to develop a formally verified implementation for R7RS (small) using Coq.

Show/hide message thread

Looking for collaborators to develop a formally verified implementation for R7RS (small) using Coq. Larry Lee (22 Apr 2014 13:49 UTC)

Re: [Scheme-reports] Looking for collaborators to develop a formally verified implementation for R7RS (small) using Coq. John Cowan (22 Apr 2014 14:17 UTC)

Re: [Scheme-reports] Looking for collaborators to develop a formally verified implementation for R7RS (small) using Coq. Perry E. Metzger (29 Apr 2014 03:07 UTC)

Looking for collaborators to develop a formally verified implementation for R7RS (small) using Coq. Larry Lee 22 Apr 2014 13:47 UTC

Hi All,

I'm looking to develop an open-source implementation for R7RS that is
formally verified. The implementation will be formally verified using
Coq (http://coq.inria.fr/) and will focus initially on the small version
of the language. If you are interested in assisting with the project,
please let me know.

Thanks
- Larry Lee <llee-SZLOfyx5T3qHXe+LvDLADg@public.gmane.org>