Home Original page

fredefox - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

View fredefox's full-sized avatar

Frederik Hanghøj Iversen fredefox

Block or report fredefox

Pinned Loading

  1. A formalization of category theory in cubical Agda

    Agda 58 4

  3. OCaml backend for Agda

    Haskell 39 5