Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / negiizhao / Algorithm
Verified efficient algorithms in Lean4.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/negiizhao%2FAlgorithm
Stars: 12
Forks: 0
Open Issues: 6
License: apache-2.0
Language: Lean
Repo Size: 155 KB
Dependencies:
0
Created: over 1 year ago
Updated: 7 days ago
Last pushed: 7 days ago
Last synced: 7 days ago
Topics: algorithm, data-structure, lean, lean4
Files
Loading...
Readme
Loading...
No dependencies found