Crate meancop
Version 0.1.0
See all meancop's items
Automated theorem prover for first-order logic with equality