Added Isabelle 2021 - Githubissues

isabelle-prover / proving-contest-backends

"proving-contest"-backends for several theorem provers

MIT License

12 stars 5 forks source link

Closed Dacit closed 3 years ago

Dacit commented 3 years ago

Added Isabelle 2021 (no changes from 2020).

maxhaslbeck commented 3 years ago

Cool. seems to be stable between Isabelle versions. Is this already tested and running on some server?

Dacit commented 3 years ago