Repository navigation

Pin the Agda proofs to Debian 13's agda 2.6.4.3 + agda-stdlib 2.1 - #3

Merged

hyperpolymath merged 1 commit into

mainfrom

proofs/debian-agda-pin

Oct 2, 2026

Merged

Pin the Agda proofs to Debian 13's agda 2.6.4.3 + agda-stdlib 2.1#3
hyperpolymath merged 1 commit into
mainfrom
proofs/debian-agda-pin

Commits on Oct 2, 2026
- Pin the Agda proofs to Debian 13's agda 2.6.4.3 + agda-stdlib 2.1
  
  hyperpolymath
  and
  claude
  committed
  4843449