1 search result for "tag:"logpath:iris.base_logic""

Showing 1 - 1
  1. coq-iris

    No documentation

    A Higher-Order Concurrent Separation Logic Framework with support for interactive proofs
    date:2024-10-31 logpath:iris.prelude logpath:iris.algebra logpath:iris.si_logic logpath:iris.bi logpath:iris.proofmode logpath:iris.base_logic logpath:iris.program_logic
    The Iris Team
    4.3.0
    BSD-3-Clause
    Used by 2 other packages
    31 Oct 2024