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