Skip to content

docs: proof review against PROOF-POLICY; proof ledger; plan correction - #787

Open
hyperpolymath wants to merge 4 commits into
mainfrom
claude/funny-faraday-rp3su1
Open

docs: proof review against PROOF-POLICY; proof ledger; plan correction#787
hyperpolymath wants to merge 4 commits into
mainfrom
claude/funny-faraday-rp3su1

docs(plan): Idris2 0.8.0 results and the provisioning prefix fix

19084c8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar