1 search result for "author:"Jacques-Henri Jourdan <>""

Showing 1 - 1
  1. incremental_cycles
    Documentation
    A state-of-the-art formally verified incremental cycle detection algorithm
    Armaël Guéneau <> Jacques-Henri Jourdan <> Arthur Charguéraud <> François Pottier <>
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Oct 2025