auto2 software on GitHub

Software OPEN SOURCE

A best-first-search theorem prover implemented in Isabelle
Share - Bookmark