Skip to content

Fill the PROOF-STATUS title placeholder and say what verification/proofs/ contains - #52

Merged
hyperpolymath merged 5 commits into
mainfrom
claude/new-session-snuoro
Nov 10, 2026
Merged

Fill the PROOF-STATUS title placeholder and say what verification/proofs/ contains#52
hyperpolymath merged 5 commits into
mainfrom
claude/new-session-snuoro

docs(proofs): Clarify Agda standard library requirements in proof sta…

5dd4df8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar