eclipse plugin to support side-by-side proofs and code
Primary LanguageScala
No one’s star this repository yet.