flip (pypi): F L i P : Logical Framework in Python
Keywords: logical|framework|python|theorem|prover|proof|checker|natural|deduction