feat: implementation for formal quantificational language#6

nathanorm merged 1 commit into

masternathanorm/logic-engine:masterfrom

feat/formal-quantificational-languagenathanorm/logic-engine:feat/formal-quantificational-languageCopy head branch name to clipboard