jwiegley / category-theory

git clone https://github.com/jwiegley/category-theory.git

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

stars, 24h · #47,575

+~2

stars, 7 days · #27,803

+~10

stars, 30 days · #31,368

817

★ total · +0% this week

forks · 613 open issues

2026-10-20 · 816 ★ 2026-10-23 · 817 ★

LanguageRocq Prover

LicenseBSD-3-Clause

Created2014-07-04 (12y ago)

Last pushtoday

OwnerUser

Loading README…