rrika/cumulative
an implementation of "Edge Finding Filtering Algorithm for Discrete Cumulative Resources in O(kn log n)" in Coq
Coq
Stargazers
No one’s star this repository yet.
an implementation of "Edge Finding Filtering Algorithm for Discrete Cumulative Resources in O(kn log n)" in Coq
Coq
No one’s star this repository yet.