simondfoster / isabelle-eclipse Goto Github PK
View Code? Open in Web Editor NEWThis project forked from andriusvelykis/isabelle-eclipse
Eclipse integration for Isabelle proof assistant.
Home Page: http://andriusvelykis.github.io/isabelle-eclipse
License: Eclipse Public License 1.0