livrelogique / pravda Star 9 Code Issues Pull requests Pravda is a tool for teaching formal logic. logic first-order-logic hilbert propositional-logic natural-deduction educational-project educational-software sequent-calculus proof-systems Updated Mar 14, 2024 TypeScript
rudi-cilibrasi / vitefolts Sponsor Star 8 Code Issues Pull requests vitefolts First Order Logic Typescript theorem prover javascript typescript first-order-logic clausal-normal-form peano-axioms Updated Jul 21, 2024 TypeScript
DerYeger / apollo-frontend Sponsor Star 5 Code Issues Pull requests A web application for first-order model checking in graph structures. d3 angular typescript graph first-order-logic modelchecking Updated Jun 8, 2024 TypeScript
KamruzzamanAsif / Wumpus-World Star 1 Code Issues Pull requests A game of self observing AI agent in wumpus world game-development first-order-logic artificial-intelligence propositional-logic logical-operators ai-game logical-programming logical-inference Updated Oct 1, 2023 TypeScript
NathOrmond / logic-engine Star 0 Code Issues Pull requests npm package for doing logic related things in typescript logic first-order-logic modal-logic quantificational-logic Updated Jul 14, 2024 TypeScript
