calculus-toolbox software on GitHub

Software OPEN SOURCE

A set of tools for generating calculi in Isabelle and supporting tools through a JSON description file
Share - Bookmark