Geeks
MikuroXina
/
mini-hott
The minimal λCC proving library.
Primary Language
TypeScript
Apache License 2.0
Apache-2.0
mini-hott GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
KisaragiEffective
Hokkaido, Japan