Popular repositories Loading

1. proofpeer-proofscript proofpeer-proofscript Public

   The language of ProofPeer: ProofScript

   Scala 8

2. proofpeer-general proofpeer-general Public

   General utilities and algorithms.

   Scala 2

3. proofpeer-versionary proofpeer-versionary Public

   Versioned hierarchical store running on key/value store.

   Scala 1

4. local-lexing-isabelle-theories local-lexing-isabelle-theories Public

   Isabelle 2016 theory files for Local Lexing

   Isabelle 1 1

5. proofpeer-indent proofpeer-indent Public

   Library for context free parsing. The parser can be layout-sensitive and scanning is context-sensitive.

   Scala

6. proofpeer-vue proofpeer-vue Public

   A UI framework in Scala.js strongly inspired by React.js

   Scala