Skip to content

Version 0.6
Compare
Choose a tag to compare
@dominique-unruh dominique-unruh released this 11 Nov 14:15
· 415 commits to master since this release
v0.6
bba6a50
This commit was signed with the committer’s verified signature.
dominique-unruh Dominique Unruh
GPG key ID: E1F9C7FA4BA66FE2
Verified
Learn about vigilant mode.
  • Supports/requires an preexisting Isabelle installation (avoids duplication)
  • Supports Linux, OS/X, Windows
  • Internally uses scala-isabelle instead of libisabelle for controlling the Isabelle process
  • A lot more of the background theory (parts concerning bounded operators) is formally now proven in Isabelle/HOL (not a user visible change).

See the README for updated installation instructions.

Assets 3
Loading