opentheory-component

Isabelle component for OpenTheory

Installation

This component provides an install script that will place its directory into the appropriate etc/components file:

$ git clone --recursive https://github.com/isabelle-prover/opentheory-component.git
$ cd opentheory-component
$ isabelle env ./install.sh