Repositories Users Organizations Code
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
zkdream.net / algebra
Agda 0 0
transforming setoids to quotient sets
Updated 2024-03-29 11:00:02 +00:00
zkdream.net / algebraic-graphs
Agda 0 0
Algebraic graphs with Agda
Updated 2024-03-29 10:59:51 +00:00
zkdream.net / symmetries
Agda 0 0
free monoids & free commutative monoids
Updated 2024-03-29 10:59:45 +00:00