package catt

  1. Overview
  2. No Docs
An infinity-categorical coherence typechecker

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

  1. T
    Thibaut Benjamin <thibaut.benjamin@gmail.com>
  2. C
    Chiara Sarti <cs2197@cam.ac.uk>

Maintainers

  1. T
    Thibaut Benjamin <thibaut.benjamin@gmail.com>
  2. C
    Chiara Sarti <cs2197@cam.ac.uk>

Sources

catt-1.0.tbz
sha256=20a0b4aae3655274cb7336cb158699ceb1ee29909e50405d0ccb9d54d985baeb
sha512=1919da8eea60817a0907be4aa6f399a9e66fc8746d190ea805de8721a44f5f8a68b9c67626b7767e42a7cd0f061e00c16cd6c63570cbdedf15bc31f8b598f72b

Description

An infinity-categorical coherence typechecker

Tags

higher-categories dependent-type-theory

Added to opam-repository:

Dependencies (4)

  1. base >= "v0.17.0"
  2. menhir >= "20240715"
  3. dune >= "3.16" & >= "3.10"
  4. ocaml >= "4.14" & < "5.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by (1)

  1. coq-catt-plugin

Conflicts

None