Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / Kamirus / lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Kamirus%2Flambda-formalizations
Stars: 4
Forks: 1
Open Issues: 0
License: mit
Language: Coq
Repo Size: 388 KB
Dependencies:
0
Created: about 3 years ago
Updated: 10 months ago
Last pushed: over 1 year ago
Last synced: about 1 month ago
Topics: control-operators, coq-formalization, effect-handlers, effect-system, lambda-calculus, nested-datatypes, preservation, progress, stlc, theorem-proving
Files
No dependencies found