3/2/2026
•
EN
State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more
An update on the Knuckledragger theorem prover project, covering kernel changes, AI experiments, symbolic union, and future development plans.
