GitHub repository: larsrh/libisabelle
Primary language: Scala
Created: 2015-02-07T14:53:38Z
Description: A Scala library which talks to Isabelle