proofy (pypi): proofy: proof system in python
Keywords: software|verification