Categories: An implementation of category theory in Coqgithub.com/amintimany68 pointsguifortaine10 years ago