Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / gebner / trepplein
Lean type-checker written in Scala.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gebner%2Ftrepplein
Stars: 26
Forks: 3
Open Issues: 3
License: apache-2.0
Language: Scala
Repo Size: 118 KB
Dependencies: pending
Created: about 7 years ago
Updated: 7 months ago
Last pushed: about 2 years ago
Last synced: 7 months ago
Topics: lean, scala, theorem-proving, type-checker
Files
Loading...
Readme
Loading...