fredefox
/
cat
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
cat/BACKLOG.md

93 B
Raw Permalink Blame History

Backlog

Prove univalence for various categories

Prove postulates in Cat.Wishlist