Skip to content

ArghDA M9: Isabelle/HOL adapter — second heavy-tail backend (foundation-first)#45

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/arghda-roadmap-planning-p5mu93
Jul 1, 2026
Merged

ArghDA M9: Isabelle/HOL adapter — second heavy-tail backend (foundation-first)#45
hyperpolymath merged 1 commit into
mainfrom
claude/arghda-roadmap-planning-p5mu93

ArghDA M9: Isabelle/HOL adapter — second heavy-tail backend (foundati…

5af93db
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar