package incremental_cycles

  1. Overview
  2. Docs
A state-of-the-art formally verified incremental cycle detection algorithm

Install 

dune-project
 Dependency

gitlab.inria.fr Readme Edit opam file Versions (1)

Authors

  1. A
    Armaël Guéneau <>
  2. J
    Jacques-Henri Jourdan <>
  3. A
    Arthur Charguéraud <>
  4. F
    François Pottier <>

Maintainers

  1. A
    armael.gueneau@inria.fr

Sources

incremental-cycles-0.1.tar.gz
sha256=3d26be7af7fd470d246872ed8ead2dd1ef0534ea95286a54aea4857ba6fb1c3e

doc/index.html

incremental_cycles

API

Library incremental_cycles