Complete Isabelle keyword blacklist - Githubissues

isabelle-prover / proving-contest-backends

"proving-contest"-backends for several theorem provers

MIT License

12 stars 5 forks source link

Complete Isabelle keyword blacklist #11

Open wimmers opened 5 years ago

wimmers commented 5 years ago

The following are still missing from the blacklist:

by eval: https://competition.isabelle.systems/competitions/submission/168/