eclipse plugin to support side-by-side proofs and code
Primary LanguageScala
This repository is not active