Repository navigation

ci(proofs): Agda, Rocq and Lean lanes in the pinned Guix (WO 1.4, in progress) - #59

Merged

hyperpolymath merged 2 commits into

mainfrom

marina/eager-dijkstra-wlmapg

Nov 10, 2026

Merged

ci(proofs): Agda, Rocq and Lean lanes in the pinned Guix (WO 1.4, in progress)#59
hyperpolymath merged 2 commits into
mainfrom
marina/eager-dijkstra-wlmapg

Commits on Nov 10, 2026
- build(guix): add Agda, agda-stdlib, Rocq and Lean to the manifest (WO 1.4, in progress)
  claude
  committed
  2cdedc1
- fix(proofs): Properties.agda on Agda.Builtin only; drop agda-stdlib (WO 1.4, in progress)
  claude
  committed
  d3d4630