Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / paulch42 / lean-spec
Program Specification in Lean 4
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/paulch42%2Flean-spec
Stars: 11
Forks: 1
Open Issues: 2
License: apache-2.0
Language: Lean
Repo Size: 279 KB
Dependencies: pending
Created: over 1 year ago
Updated: about 1 month ago
Last pushed: 5 months ago
Last synced: about 1 month ago
Topics: dependent-types, formal-specification, lean4
Files
Loading...
Readme
Loading...