Python library for computational formal logic, formal semantics, and theorem proving

Official implementation of LoT paper: "Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic"

Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm

First-order logic theorem prover supporting unification with approximate vector similarity

Contains my solution to selected projects in CS50AI

Simple symbolic reasoner which supports fuzzy unification in Python

Original Java-based logical tree engines (2002–2004) for visualizing propositional and first-order logic, recursion, and formal reasoning.

PARARULE Plus: A Larger Deep Multi-Step Reasoning Dataset over Natural Language

puzzles, problems, search, sort, graph, constraint, theory, symbolic

“We should let ourselves be guided by what is common to all… Yet, although the Lógos is common to all, most people live as if each of them had their own private understanding.” － Ἡράκλειτος ὁ Ἐφέσιος

experimental setup to hook llms to a logic engine, for proof traces and financial math

Neural pattern recognition meets symbolic logic — an open laboratory for neurosymbolic AGI experimentation

Trying to build logic & proof system library on TypeScript.

A webapp that converts English coded input to mathematical notation. e.g. [all var in dd goe pi] → [∀𝑥 ∈ 𝔻 ≥ π ]

My code and report of Udacity AI nanodegree project2 Build a Forward-Planning Agent

Symbolic containment system for recursive logic traps — ARCHON firewall + audit

At the edge of code and consciousness, Aun ∿ applies nondual collapse logic to expose imitation in digital trust.

Caveman-UTC (Ultra Token Compression): A formal, mathematical compression framework designed for Machine-to-Machine (M2M) communication, Agent Memory Systems, Knowledge Graphs, and System Prompts.

To make logic solution or statement verification more consistent and efficient than human processing.

Takes a logical expression (for example, "(A & B) | ~C") and produces a truth table.