This repository was archived by the owner on Apr 2, 2023. It is now read-only.

Project Ideas List

Jump to bottom

Jonathan Sterling edited this page Feb 19, 2016 · 6 revisions

Server interface to the elaborator, to be used by interactive frontends
Rich web interface to Red JonPRL
Rich, interactive Emacs mode
Better parser, with support for infix operators, application-by-adjacency & parenthesization
Structure editor for proofs
Add support for Bar Induction
Term evaluator using an abstract machine