dependent-types (pypi): Dependent types for Python
Keywords: mypy|phantom-types|python|python3|refined|refined-types|refinement-types|static-analysis|static-typing|typing|validation