Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
Primary LanguageCoqGNU General Public License v3.0GPL-3.0