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

Showing 1 - 1
  1. rocq-actris

    No documentation

    A framework for session protocol reasoning in Iris
    date:2026-10-06 logpath:actris logpath:linear_actris logpath:linking_actris logpath:mini_actris logpath:multris
    The Actris Team
    4.5.0
    BSD-3-Clause
    Used by 0 other packages
    06 Oct 2026