GitHub / leanprover / lean-client-js
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean-client-js
Stars: 38
Forks: 12
Open issues: 23
License: apache-2.0
Language: TypeScript
Size: 890 KB
Dependencies parsed at: Pending
Created at: about 8 years ago
Updated at: about 2 months ago
Pushed at: almost 2 years ago
Last synced at: 2 days ago
Commit Stats
Commits: 155
Authors: 9
Mean commits per author: 17.22
Development Distribution Score: 0.355
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/leanprover/lean-client-js
Loading...