1 results

Sorting

Contributing Search

Filters

Languages
Platforms
Topics
  1. project logo

    dominique-unruh/scala-isabelle   0.4.2

    A Scala library for controlling/interacting with Isabelle

    Scala versions: 2.13 2.12
    37 4