Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / radeusgd / pDOT-GADT
Formal foundations for GADTs in Scala
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/radeusgd%2FpDOT-GADT
Stars: 1
Forks: 0
Open Issues: 0
License: None
Language: Scala
Repo Size: 519 KB
Dependencies: pending
Created: about 4 years ago
Updated: about 2 months ago
Last pushed: about 4 years ago
Last synced: about 2 months ago
Topics: coq, formal-methods, formalization, gadt, gadts, lambda-calculus, scala
Files
Loading...
Readme
Loading...