dafny-of-python (npm): Static verifier for Python programs
Keywords: python|compiler|verification|dafny