Skip to content

fix(proofs): DOM-1/DOM-2 corrected, checked in CI with pinned Agda, graded PWG-3 from receipts - #127

Merged
hyperpolymath merged 5 commits into
mainfrom
claude/zen-brahmagupta-opqqle
Nov 10, 2026
Merged

fix(proofs): DOM-1/DOM-2 corrected, checked in CI with pinned Agda, graded PWG-3 from receipts#127
hyperpolymath merged 5 commits into
mainfrom
claude/zen-brahmagupta-opqqle

fix(proofs): pass the pinned libraries file to Agda in agda-safe-check

828bbb1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar