VeriML
From MaRDI portal
Software:25436
No author found.
Related Items (7)
Programming with binders and indexed data-types ⋮ Mtac ⋮ Mtac: A monad for typed tactic programming in Coq ⋮ Proceedings of the 15th ACM SIGPLAN international conference on Functional programming ⋮ How to make ad hoc proof automation less ad hoc ⋮ Extensible and Efficient Automation Through Reflective Tactics ⋮ A Graphical Language for Proof Strategies
This page was built for software: VeriML
