Math AI prototype from the late 1990's. Inspirations are paraconsistent logic and Bernay's exposition of set theory.
Primary LanguageC++Boost Software License 1.0BSL-1.0
No one’s star this repository yet.