1 search result for "tag:"logpath:Sims""

Showing 1 - 1
  1. rocq-sims

    No documentation

    A library of various strong and weak simulation relations
    category:Computer Science/Semantics and Compilation/Semantics category:Computer Science/Semantics and Compilation/Compilation keyword:simulation keyword:coinduction up-to logpath:Sims
    Nicolas Chappe
    0.2
    LGPL-3.0-or-later
    Used by 0 other packages
    27 Nov 2025