catlab

Topic Replies Views Activity
[ANN] C3T - Crash Course Category Theory 🐱
Package Announcements
package ,  announcement ,  catlab ,  cat-theory
4 4440 February 28, 2022