PrototypeCommon
namin/dot
formalization of the Dependent Object Types (DOT) calculus
- Owner
- namin (personal account)
- Stars
- Stars: 164
- Forks
- Forks: 12
- Language
- No language
- License
- None
- Created
- 2012
- Topics
- meta-theorytwelfplt-redexcoqdafnyoop
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by namin
All 6 repos by namin- namin/incStars: 972SchemeBeta
- namin/llm-verified-with-monte-carlo-tree-searchStars: 295Jupyter NotebookAlpha
- namin/io.livecode.chStars: 143HTMLPrototype
- namin/staged-miniKanrenStars: 143RacketPrototype
- namin/logicallyStars: 118ClojurePrototype