🧐
computing algebraic language
computational language algeber 🧐
abstract research mathematician
-
18:08
(UTC -05:00) - https://crucialflow.com
- @CrucialFlowResearch
Starred repositories
5
stars
written in HTML
Clear filter
This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.