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

Show pre-release versions

0 version found for pide-2018-RC0

We can't find any release that matches all you criteria