redprl
Major mode for editing RedPRL proofs and interacting with RedPRL
Major mode for editing RedPRL proofs and interacting with RedPRL
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| melpa GitHub ↗ | 20180418.1434 | 1 | 24 h | details › |
| melpa-stable GitHub ↗ | 0.1.0 | 1 | 24 h | details › |