The following pages link to Rtac (Q25041):
Displaying 3 items.
- ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages (Q2945650) (← links)
- A grid-based algorithmfor constructing attainability sets with improved boundary approximation (Q5153879) (← links)
- Mtac: A monad for typed tactic programming in Coq (Q5371944) (← links)
