amintimany / Categories

A formalization of category theory in the Coq proof assistant.

Date Created 2015-10-14 (9 years ago)

Commits 160 (last one 4 years ago)

Stargazers 94 (0 this week)

Watchers 6 (0 this week)

Forks 4

License unknown

Ranking

RepositoryStats indexes 589,134 repositories, of these amintimany/Categories is ranked #304,403 (48th percentile) for total stargazers, and #298,964 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #51/106.

amintimany/Categories is also tagged with popular topics, for these it's ranked: library (#1,479/2384)

Other Information

There have been 1 release, the latest one was published on 2016-04-30 (8 years ago) with the name FSCD 2016.

All Topics

coq topos library categories adjunctions kan-extensions category-theory proof-assistant coq-formalization

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

0 commits on the default branch (master) since jan '22

No recent commits to this repository

Yearly Commits

Commits to the default branch (master) per year

Issue History

Languages

The primary language is Coq but there's also others...

updated: 2024-11-25 @ 03:11pm, id: 44246114 / R_kgDOAqMkYg