Formal proof and analysis of an incremental cycle detection algorithmgallium.inria.fr72 pointslelf6 years ago