Incremental Cycles

gitlab.inria.frsite

Verified OCaml implementation of an algorithm for incremental cycle detection in graphs.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲

   incremental approach to compiler design scheme2006.cs.uchicago.edu

   site topic programmingtopic design link ↗
   site
2. ▲

   Coinduction github.com

   Plugin for doing proofs by enhanced coinduction.

   tool topic math link ↗
   
3. ▲

   ocp-index-top github.com

   tool link ↗
   
4. ▲

   coq github.com

   tool link ↗
   
5. ▲

   incr_dom github.com

   tool link ↗
   
6. ▲

   Parallel programming in multicore OCaml github.com

   tool topic programming link ↗
   

Coq › Projects > Verified Software: “Verified OCaml implementation of an algorithm for incremental cycle detection in graphs.”