Skip to content

[ new ] Fin n as a refinement#2975

Merged
gallais merged 12 commits into
agda:masterfrom
gallais:nat-bounded
Apr 22, 2026
Merged

[ new ] Fin n as a refinement#2975
gallais merged 12 commits into
agda:masterfrom
gallais:nat-bounded

Merge branch 'master' into nat-bounded

b04b9e0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.