Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / uncomputable / expressive-wallet
What is a minimal wallet of coins that can express all amounts below a target?
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uncomputable%2Fexpressive-wallet
Stars: 0
Forks: 0
Open Issues: 0
License: cc0-1.0
Language: Coq
Repo Size: 30.3 KB
Dependencies:
0
Created: 7 months ago
Updated: 6 months ago
Last pushed: 6 months ago
Last synced: 6 months ago
Topics: coq, formal-verification, maths, maths-problem, ocaml, theorem-proving
Files
Loading...
Readme
Loading...
No dependencies found