Top 8.9% dependent packages on npmjs.org
Top 6.2% forks on npmjs.org
Top 6.2% forks on npmjs.org
npmjs.org : formality-core-stdlib
Specification of the Formality proof and programming language
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:npm/formality-core-stdlib
Keywords:
formality
, funcional-programming
, lambda-calculus
, programming-language
, type-system
License: MIT
Latest release: over 6 years ago
First release: over 6 years ago
Dependent packages: 2
Dependent repositories: 1
Downloads: 2 last month
Stars: 41 on GitHub
Forks: 11 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 21 days ago