agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Refactor graphs with updates from Beyond finite sets

Open EgbertRijke opened this issue 2 years ago • 4 comments

This PR refactors the graph theory library with updates from the Beyond Finite Sets PR.

EgbertRijke avatar Oct 22 '23 18:10 EgbertRijke

Looks good to me aside from my few comments

Your comments look good too

EgbertRijke avatar Oct 22 '23 22:10 EgbertRijke

Looks good to me aside from my few comments

Your comments look good too

Thanks! I wrote them just for you :)

fredrik-bakke avatar Oct 22 '23 22:10 fredrik-bakke

Hey, @EgbertRijke, as far as I can tell from the comments on this PR it is very close to ready for merging. Perhaps the outstanding formalizations can be left for a future PR so we can merge this one?

fredrik-bakke avatar Oct 07 '24 23:10 fredrik-bakke

Hey, @EgbertRijke, as far as I can tell from the comments on this PR it is very close to ready for merging. Perhaps the outstanding formalizations can be left for a future PR so we can merge this one?

@EgbertRijke Pinging you again

fredrik-bakke avatar Feb 11 '25 14:02 fredrik-bakke