issues
search
isabelle-prover
/
proving-contest-backends
"proving-contest"-backends for several theorem provers
MIT License
12
stars
5
forks
source link
feat(Isabelle): Updated grader for Isabelle 2021-1
#39
Closed
Dacit
closed
2 years ago