Keyword: program verification

• IPC: Intuitionistic Propositional Checker
  Klaus Weich
• PersistentUnionFind: Persistent Union Find
  Jean-Christophe Filliâtre
• TortoiseHareAlgorithm: Tortoise and the hare algorithm
  Jean-Christophe Filliâtre
• TreeDiameter: Diameter of a binary tree
  Jean-Christophe Filliâtre