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 <[email protected]> _______________________________________________ Scheme-reports mailing list [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
