input-output-hk/thorn-calculus

This is stars and forks stats for /input-output-hk/thorn-calculus repository. As of 26 Apr, 2024 this repository has 2 stars and 2 forks.

Overview […] Requirements You need Isabelle2022 to use this Isabelle library. You can obtain Isabelle2022 from the Isabelle website. Setup To make this Isabelle library available to your Isabelle installation, add the path of the src directory to the file $ISABELLE_HOME_USER/ROOTS. You can find out the value of $ISABELLE_HOME_USER by running the following command: isabelle getenv ISABELLE_HOME_USER Building Running make builds the PDF file that includes the documentation and the code and places it...