The following pages link to VeriML (Q25436):
Displaying 7 items.
- Extensible and Efficient Automation Through Reflective Tactics (Q2802496) (← links)
- A Graphical Language for Proof Strategies (Q2870138) (← links)
- Programming with binders and indexed data-types (Q2942890) (← links)
- How to make ad hoc proof automation less ad hoc (Q5176973) (← links)
- Mtac (Q5244791) (← links)
- Mtac: A monad for typed tactic programming in Coq (Q5371944) (← links)
- Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Q5746362) (← links)