Skip to content

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

fix(proofs): Properties.agda on Agda.Builtin only; drop agda-stdlib (…

d3d4630
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar