Intervals in posets and the covering relation#1219

Merged

mortberg merged 20 commits intoagda:masterfrom

anshwad10:oriented-graded-posets

Aug 1, 2025

Commits on Mar 2, 2025

Add files via upload
anshwad10
authored

Commits on May 17, 2025

Commits on May 26, 2025

Merge branch 'master' of https://github.com/anshwad10/cubical
anshwad10
committed

Commits on Jun 23, 2025

Commits on Jun 24, 2025

private variable declaration
anshwad10
committed

Commits on Jul 23, 2025

Merge branch 'agda:master' into oriented-graded-posets
anshwad10
authored

Commits on Jul 25, 2025