2 results

Sorting

Contributing Search

Filters

Languages
Platforms
Topics
  1. project logo

    larsrh/libisabelle   1.0.1

    A Scala library which talks to Isabelle (DISCONTINUED)

    Scala versions: 2.12 2.11
    38 5
  2. project logo

    dominique-unruh/scala-isabelle   0.4.2

    A Scala library for controlling/interacting with Isabelle

    Scala versions: 2.13 2.12
    36 4