an implementation of "Edge Finding Filtering Algorithm for Discrete Cumulative Resources in O(kn log n)" in Coq
Primary LanguageCoq