Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / princeton-vl / CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/princeton-vl%2FCoqGym
Stars: 365
Forks: 50
Open Issues: 1
License: lgpl-2.1
Language: Coq
Repo Size: 32 MB
Dependencies:
0
Created: about 5 years ago
Updated: 3 months ago
Last pushed: 11 months ago
Last synced: 3 months ago
Topics: icml-2019, machine-learning, theorem-proving
Files
Loading...
Readme
Loading...
No dependencies found