Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / choukh / Set-Theory
A formalization of the textbook Elements of Set Theory
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/choukh%2FSet-Theory
Stars: 57
Forks: 5
Open Issues: 0
License: mit
Language: Coq
Repo Size: 3.79 MB
Dependencies:
0
Created: about 4 years ago
Updated: 5 months ago
Last pushed: over 2 years ago
Last synced: 3 months ago
Topics: coq, formal-languages, math, set-theory, theorem-proving
Files
Loading...
Readme
Loading...
No dependencies found