eclipse plugin to support side-by-side proofs and code
Primary LanguageScala
No issues in this repository yet.