3 ms·
Is there a example formally verified common lisp project to look at? Either pedagogical (I'm impressed by lisp but ultimately not particularly familiar with it)
by mhh__ 5y ago
Is there a example formally verified common lisp project to look at? Either pedagogical (I'm impressed by lisp but ultimately not particularly familiar with it) or impressive like CompCert is for Coq perhaps.
- moonchild 5y agoI don't know; I haven't paid close attention to such things. But pulling on the acl2 thread will probably lead somewhere. Also maybe of interest, not quite the same but on vaguely parallel lines, minikanren and microkanren.