isabelle-prover / proving-contest-backends

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

Follow docstring conventions #6

Open wimmers opened 5 years ago

wimmers commented 5 years ago

We should use proper Python docstrings following one of the conventions, e.g. in https://numpydoc.readthedocs.io/en/latest/format.html or https://sphinxcontrib-napoleon.readthedocs.io/en/latest/example_google.html.