Lean repository linked
Elements of Scheduling
arXiv:2001.06005 · arXiv
Lean formalisations (1)
JD-Jones-ASES/graham-lpt-lean at c8ed035b407c
Linked by the repository’s formalization.yaml.
Project review: self-assessed
Audit: awaiting publication.