GitHub repository: AviCraimer/category-theory-diagrams
Primary language: TypeScript
Created: 2020-11-11T16:50:17Z
Description: IN DEVELOPMENT: An app for interactive category theory diagrams and notebooks