Pages that link to "Item:Q861700"

The following pages link to Explaining Gabriel-Zisman localization to the computer (Q861700):

Displaying 2 items.

• An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps (Q839032) (← links)
• The elementary construction of formal anafunctors (Q5077345) (← links)