···

       
1
       
 
       
opam-version: "2.0"

     

       
2
       
 
       
synopsis: "An infinity-categorical coherence typechecker"

     

       
3
       
 
       
description: "An infinity-categorical coherence typechecker"

     

       
4
       
-
       
maintainer: ["Thibaut Benjamin" "Chiara Sarti"]

     

       
5
       
-
       
authors: ["Thibaut Benjamin" "Chiara Sarti"]

     

       
6
       
 
       
license: "MIT"

     

       
7
       
 
       
tags: ["higher-categories" "dependent-type-theory"]

     

       
8
       
 
       
homepage: "https://github.com/thibautbenjamin/catt"

     

···

       
1
       
 
       
opam-version: "2.0"

     

       
2
       
 
       
synopsis: "An infinity-categorical coherence typechecker"

     

       
3
       
 
       
description: "An infinity-categorical coherence typechecker"

     

       
4
       
+
       
maintainer: ["Thibaut Benjamin <thibaut.benjamin@gmail.com>" "Chiara Sarti  <cs2197@cam.ac.uk>"]

     

       
5
       
+
       
authors: ["Thibaut Benjamin <thibaut.benjamin@gmail.com>" "Chiara Sarti  <cs2197@cam.ac.uk>"]

     

       
6
       
 
       
license: "MIT"

     

       
7
       
 
       
tags: ["higher-categories" "dependent-type-theory"]

     

       
8
       
 
       
homepage: "https://github.com/thibautbenjamin/catt"

     

···

       
2
       
 
       
synopsis: "A Coq plugin for the catt proof-assistant"

     

       
3
       
 
       
description:

     

       
4
       
 
       
  "A Coq plugin to interpret terms built in the catt proof assistant as functions computing on higher dimensional identity types"

     

       
5
       
-
       
maintainer: ["Thibaut Benjamin" "Chiara Sarti"]

     

       
6
       
-
       
authors: ["Thibaut Benjamin" "Chiara Sarti"]

     

       
7
       
 
       
license: "MIT"

     

       
8
       
 
       
tags: ["higher-categories" "dependent-type-theory"]

     

       
9
       
 
       
homepage: "https://github.com/thibautbenjamin/catt"

     

···

       
2
       
 
       
synopsis: "A Coq plugin for the catt proof-assistant"

     

       
3
       
 
       
description:

     

       
4
       
 
       
  "A Coq plugin to interpret terms built in the catt proof assistant as functions computing on higher dimensional identity types"

     

       
5
       
+
       
maintainer: ["Thibaut Benjamin <thibaut.benjamin@gmail.com>" "Chiara Sarti  <cs2197@cam.ac.uk>"]

     

       
6
       
+
       
authors: ["Thibaut Benjamin <thibaut.benjamin@gmail.com>" "Chiara Sarti  <cs2197@cam.ac.uk>"]

     

       
7
       
 
       
license: "MIT"

     

       
8
       
 
       
tags: ["higher-categories" "dependent-type-theory"]

     

       
9
       
 
       
homepage: "https://github.com/thibautbenjamin/catt"