Paco
From MaRDI portal
Software:22838
No author found.
Related Items (24)
Coinductive predicates and final sequences in a fibration ⋮ Tower Induction and Up-to Techniques for CCS with Fixed Points ⋮ Classical Logic with Mendler Induction ⋮ Diacritical companions ⋮ Circular Coinduction in Coq Using Bisimulation-Up-To Techniques ⋮ POPLMark reloaded: Mechanizing proofs by logical relations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Mtac: A monad for typed tactic programming in Coq ⋮ Psi-calculi in Isabelle ⋮ Companions, Codensity and Causality ⋮ Generalizing Inference Systems by Coaxioms ⋮ Friends with Benefits ⋮ Unnamed Item ⋮ Coinduction in Flow: The Later Modality in Fibrations ⋮ Flag-based big-step semantics ⋮ Modular verification of programs with effects and effects handlers ⋮ (Co)inductive proof systems for compositional proofs in reachability logic ⋮ Unnamed Item ⋮ Compositional Coinduction with Sized Types ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Coinductive predicates and final sequences in a fibration ⋮ Unnamed Item ⋮ Towards a Formally Verified Proof Assistant
This page was built for software: Paco
