Skip to content

ArghDA M6 follow-on: Lean #print axioms audit — honest Unknown→Proven#42

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

ArghDA M6 follow-on: Lean #print axioms audit — honest Unknown→Proven#42
hyperpolymath merged 1 commit into
mainfrom
claude/arghda-roadmap-planning-p5mu93

ArghDA M6 follow-on: Lean `#print axioms` audit — honest Unknown→Proven

d6983a8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar