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 18, 2016 · 6 revisions

Server interface to the elaborator, to be used by interactive frontends
Rich web interface to Red JonPRL
Rich, interactive Emacs mode
Structure editor for proofs
Add support for Bar Induction