koreiklein / fantasia Goto Github PK
View Code? Open in Web Editor NEWFantasia is an interactive proof tool with an embedded program extraction engine. This repository is a read-only mirror; it does not answer pull requests. Contact Korei Klein <korei.klein - [at] - gmail.com> to inquire about becoming a contributor.
License: Other