Follow @
OH
E
The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.
No tags have been added