Skip to content
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 May 19, 2017 · 6 revisions

Here are several ideas for projects that someone might want to bite off; Jon will happily mentor any new contributor in any of these areas.

  • Server interface to the elaborator, to be used by interactive frontends
  • Rich web interface to RedPRL
  • Rich, interactive Emacs mode
  • Structure editor for proofs
  • Add support for Bar Induction
  • Calculus of Conversionals
Clone this wiki locally