dominique-unruh / scala-isabelleLinks

A Scala library for controlling/interacting with Isabelle
40Updated 3 weeks ago

Alternatives and similar repositories for scala-isabelle

Users that are interested in scala-isabelle are comparing it to the libraries listed below

Sorting: