Top 4.5% dependent packages on npmjs.org
Top 6.1% forks on npmjs.org
Top 6.1% forks on npmjs.org
npmjs.org : formality-net
Specification of the Formality proof and programming language
Registry
-
Source
- Homepage
- JSON
purl: pkg:npm/formality-net
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: 4
Dependent repositories: 1
Downloads: 20 last month
Stars: 41 on GitHub
Forks: 11 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 3 days ago
Loading...
Readme
Loading...