package coq-category-theory

  1. Overview
  2. No Docs
An axiom-free formalization of category theory in Coq

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. J
    John Wiegley

Maintainers

  1. J
    johnw@newartisans.com

Sources

1.0.0.tar.gz
sha256=d8a9fce1e20d0bd6e756957bf40c4deee1d83732c6c949a1dc5c290136ced60b

Description

An axiom-free formalization of category theory in Coq for personal study and practical work.

Tags

keyword: category theory category: Mathematics/Category Theory date: 2022-07-22 logpath: Category

Published: 22 Jul 2022

Dependencies

None

Dev Dependencies (2)

  1. coq-equations (>= "1.2" & < "1.4~") | (= "dev")
  2. coq (>= "8.14" & < "8.17~") | (= "dev")

Used by

None

Conflicts

None