2 results found Sort:

topos-protocol
topos topos-protocol
5
177
other
8
Implementation of the Topos Protocol
node rust topos blockchain cryptography
This repository has been archived (exclude archived)
Created 2022-07-18
409 commits to main branch, last one 8 months ago
amintimany
Categories amintimany
4
94
unknown
6
A formalization of category theory in the Coq proof assistant.
coq topos library categories adjunctions kan-extensions category-theory proof-assistant coq-formalization
Created 2015-10-14
160 commits to master branch, last one 4 years ago