locusmath/locus

A specialised computer algebra system for topos theory.

语言：Clojure · GitHub 星标：18 · Fork：1

话题：applied-category-theory · categorical-logic · cubes · double-categories · double-category · first-class-functions · functional-programming · functions

在 GitHub 上查看原仓库