Rtac
From MaRDI portal
Software:25041
No author found.
Related Items (3)
ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages ⋮ Mtac: A monad for typed tactic programming in Coq ⋮ A grid-based algorithmfor constructing attainability sets with improved boundary approximation
This page was built for software: Rtac
