amintimany/Categories amintimany/Categories

  • Stars
    star
    93
  • Rank 359,906 (Top 8 %)
  • Language Coq
  • Created about 9 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
amintimany/Categories
github

amintimany

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A formalization of category theory in the Coq proof assistant.

More Repositories

1

CTDT

Category-theoretic domain theory.
Coq
6
star
2

OPLSS

Coq
4
star
3

NbE

Normalization by Evaluation for STLC
Coq
4
star
4

UniverseComparator

A tool to compare universe levels in Coq.
OCaml
2
star
5

Categories-HoTT

The HoTT version of Categories.
Coq
1
star
6

F_mu_ref_conc_sub

Coq
1
star
7

monotone

Coq
1
star