Home Original page

ncfavier - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

View ncfavier's full-sized avatar

Naïm Camille Favier ncfavier

Block or report ncfavier

Pinned Loading

  1. A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

    Agda 428 93

  2. My Agda blog/lab/playground

    Agda 12 1