Commonsense axioms as elementary composable ideas (ECIs)
Primary LanguageCommon LispBSD 2-Clause "Simplified" LicenseBSD-2-Clause