🌑
aka ncf. PhD student working on cubical type theory.
-
Chalmers University of Technology
- Sweden
-
14:59
(UTC +01:00) - https://monade.li
- @ncf@types.pl
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.