GitHub repository: ACT4E/ACT4E
Primary language: TeX
Description: Sources for "Applied Category Theory for Engineering"