Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / lean-dojo / LeanDojoWebsite
Code for LeanDojo's website
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lean-dojo%2FLeanDojoWebsite
Stars: 7
Forks: 1
Open Issues: 0
License: mit
Language: JavaScript
Repo Size: 31 MB
Dependencies: pending
Created: about 1 year ago
Updated: about 1 month ago
Last pushed: about 1 month ago
Last synced: about 1 month ago
Topics: lean, machine-learning, theorem-proving
Files
Loading...
Readme
Loading...