Nymph (nuget): Nymph is a natural language theorem prover that uses natural language to state and write proofs of logical and mathematical theorems.
Keywords: math|logic|theorem|prover