jcommelin / queueboard

Mathlib4 review and triage dashboard
https://jcommelin.github.io/queueboard/
Apache License 2.0
3 stars 3 forks source link

WIP: feat: better "last updated" function; compute the total time in this state #25

Open grunweg opened 1 month ago

grunweg commented 1 month ago

Note: carefully check if this is the right version of the branch before merging, or if the version not from a fork is better.

This PR implements the "algorithm" half of #7 and #33: given the right input data, this computes

The main ingredients are well-tested; the overall algorithm could be tested a bit more. Steps before this can be merged

Best reviewed as the whole diff.