Hacker GitHub

← All repos

jwiegley/category-theory

View on GitHub ↗ ★ 820 Rocq Prover

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

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2017-08-04 · latest 2026-09-29

Mentions per year 3 mentions · busiest year 2017 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 109
    A formalization of category theory in Coq
    story by noch · 2017-08-04 · 33 comments