larsrh / libisabelle   1.0.1

Contributors Wanted Apache License 2.0 GitHub

A Scala library which talks to Isabelle (DISCONTINUED)

Scala versions: 2.12 2.11 2.10
33 versions found for libisabelle-docs