Saphira A simple proof assistant in development. To verify a theory: python verifier2a.py test1/theory10.theory An example of an invalid theory. Saphira tells you which step is invalid: python verifier2a.py test1/theory10_fail.theory