search

isabelle-prover / proving-contest-backends

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

Isabelle grader: error logging #15

Closed wimmers closed 5 years ago

wimmers commented 5 years ago

Use a logger in grader.py instead of print.