Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / timtadh / peano
A evaluator for Peano Arithmetic as given in "The Incompleteness Phnomenon" by M. Goldstern and H. Judah. ISBN 1-56881-093-8.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/timtadh%2Fpeano
Stars: 5
Forks: 0
Open Issues: 0
License: None
Language: Python
Repo Size: 110 KB
Dependencies:
0
Created: about 13 years ago
Updated: over 2 years ago
Last pushed: almost 11 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
No dependencies found