output
20082024
most citedDiscrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps

3 citations

Showing 2024Show all

2 papers · 1 filter