4 packages returned for Tags:"prover"

Package type
Sort by
Options
Nymph is a natural language theorem prover that uses natural language to state and write proofs of logical and mathematical theorems.