All Categories → No Category → topos-theory

Top 1 topos-theory open source projects

A DSL for the internal language of a topos

✭ 41

scala shell math category-theory algebraic-structures topos-theory

1-1 of 1 topos-theory projects