isabelle-prover / proving-contest-backendsLinks

"proving-contest"-backends for several theorem provers
13Updated 7 months ago

Alternatives and similar repositories for proving-contest-backends

Users that are interested in proving-contest-backends are comparing it to the libraries listed below

Sorting: