PrototypeCommune
namin/dot
formalization of the Dependent Object Types (DOT) calculus
- Propriétaire
- namin (compte personnel)
- Étoiles
- Étoiles : 164
- Forks
- Forks : 12
- Langage
- Sans langage
- Licence
- Aucune
- Création
- 2012
- Sujets
- meta-theorytwelfplt-redexcoqdafnyoop
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de namin
Les 6 dépôts de namin- namin/incÉtoiles : 972SchemeBêta
- namin/llm-verified-with-monte-carlo-tree-searchÉtoiles : 295Jupyter NotebookAlpha
- namin/io.livecode.chÉtoiles : 143HTMLPrototype
- namin/staged-miniKanrenÉtoiles : 143RacketPrototype
- namin/logicallyÉtoiles : 118ClojurePrototype