Skip to content


  • Arctic Code Vault Contributor


  1. An implementation of Hoare and He's Unifying Theories of Programming in Isabelle

    Isabelle 21 5

  2. The Symphony IDE

    Java 5 4

  3. Forked from andriusvelykis/isabelle-eclipse

    Eclipse integration for Isabelle proof assistant.


  4. Forked from andriusvelykis/isabelle-scala

    A mirror of Isabelle/Scala code from the official Isabelle repository at Restructured as Eclipse projects to work with Scala IDE for Eclipse.


183 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.