Skip to content

Comments

Major overhaul of the type system to manage typed proof search with an easier-to-maintain and less invasive API#53

Open
jrosain wants to merge 11 commits intoGoelandProver:masterfrom
jrosain:update-type-system
Open

Major overhaul of the type system to manage typed proof search with an easier-to-maintain and less invasive API#53
jrosain wants to merge 11 commits intoGoelandProver:masterfrom
jrosain:update-type-system

Commits

Commits on Aug 29, 2025

Commits on Feb 7, 2026