issues
search
isabelle-prover
/
proving-contest-backends
"proving-contest"-backends for several theorem provers
MIT License
12
stars
5
forks
source link
feat(lean) bump version and clarify version bumping instructions
#38
Closed
kappelmann
closed
2 years ago