app-emacs/redprl
Major mode for editing RedPRL proofs and interacting with RedPRL
Screenshots
-
redprl-0.1.0~amd64 ~x86
View 
Download 
Browse License: Overlay: melpa-stable
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.