Proof of Thought

📄️ ProofOfThought

LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON).

Architecture

Backend Selection

Installation