Larry Lee scripsit:

> 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.

I can't help with this directly, but I think it has all kinds of win.
What do you intend to use as the implementation language, or is that
still open?

--
John Cowan          http://www.ccil.org/~cowan        cowan@ccil.org
All "isms" should be "wasms".   --Abbie

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports