Martín Escardó has contributed to 3 nLab pages.

well-ordering theorem | 15:12:01, July 24 2021 |

well-ordering theorem | 19:15:33, July 23 2021 |

well-ordering theorem | 18:58:40, July 23 2021 |

well-ordering theorem | 15:52:40, July 23 2021 |

mathematics presented in homotopy type theory | 10:23:25, January 13 2021 |

mathematics presented in homotopy type theory | 16:00:35, January 06 2021 |

mathematics presented in homotopy type theory | 14:18:13, December 15 2020 |

mathematics presented in homotopy type theory | 14:58:42, December 14 2020 |

injective object | 14:09:24, June 07 2016 |