R

reasoning

iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.

Axiomata is a constraint-driven neuro-symbolic geometry engine that transforms formal geometric systems into a generative space for structured creativity. By combining deterministic symbolic reasoning with neural construction proposal models, it explores, validates, and evolves geometric worlds through verifiable transformations. The system is designed to bridge logic and intuition, enabling the discovery of novel geometric structures within strictly defined formal constraints. https://roxanneardary.com/axiomata/

Classical logic truth table magma algebra

An automated system for Tableaux methods.

Strategies to represent knowledge in Computer Science.