Goedel-Architect

A formal proving framework that generates, proves and refines dependency graphs of lemmas.

• Developer / Organization: Jui-Hui Chung and collaborators / Goedel-Architect team
• Category: Open-source formalization & proving
• Purpose: Organize formal proofs through explicit blueprints.
• Key features: Generates dependency graphs of definitions and lemmas, proves lemmas in parallel and refines failed proof plans.
• Availability: Open-source software; Apache-2.0
• License: Apache-2.0 (source (opens in a new tab))
• Website / Source code: https://github.com/goedelarchitect/goedel-architect (opens in a new tab)
• Version: Source package: 1.0.0 (not a GitHub release)
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01