search

isabelle-prover / proving-contest-backends

"proving-contest"-backends for several theorem provers
MIT License
12 stars 5 forks source link

enable Isabelle2020 #28

Open maxhaslbeck opened 4 years ago

maxhaslbeck commented 4 years ago

b22a6ec187 closes the issue,

@wimmers please review https://github.com/maxhaslbeck/proving-contest-backends/blob/b22a6ec187ae7273da915147612d67841a39e27a/Isabelle/Isabelle2020/OK_Test.thy#L31-L33

wimmers commented 3 years ago

I believe we can close this?