Skip to content

Merge branch 'main' into josh/refl-trans

908a14f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Generalize reflexive transitive closure #267

Merge branch 'main' into josh/refl-trans
908a14f
Select commit
Loading
Failed to load commit list.