Popular repositories Loading

1. symphony symphony Public

   The Symphony IDE

   Java 5 4

2. cml-syntax cml-syntax Public

   2

3. symphonytool.github.io symphonytool.github.io Public

   The Symphony IDE Website

   CSS

4. isabelle-scala isabelle-scala Public

   Forked from andriusvelykis/isabelle-scala

   A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclipse projects to work with Scala IDE for Eclipse.

   Scala

5. isabelle-eclipse isabelle-eclipse Public

   Forked from andriusvelykis/isabelle-eclipse

   Eclipse integration for Isabelle proof assistant.

   Python