Skip to content

docs(proofs): align README, AFFIRMATION and EXPLAINME with the proof ledger; Agda-first convergence plan - #1030

Merged
hyperpolymath merged 3 commits into
claude/eager-wright-zwwbe2-proof-ledgerfrom
claude/eager-wright-zwwbe2-proof-claims
Nov 9, 2026
Merged

docs(proofs): align README, AFFIRMATION and EXPLAINME with the proof ledger; Agda-first convergence plan#1030
hyperpolymath merged 3 commits into
claude/eager-wright-zwwbe2-proof-ledgerfrom
claude/eager-wright-zwwbe2-proof-claims

Merge proof-ledger fixes into proof-claims; answer Codex on #1030

fd96af7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar