isabelle-prover / proving-contest-backends

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

Typing #7

Open wimmers opened 5 years ago

wimmers commented 5 years ago

Add proper Python 3.5 type hints. https://docs.python.org/3/library/typing.html