VeriML

swMATH13522MaRDI QIDQ25436FDOQ25436

Author name not available (Why is that?)

Described by source

• VeriML

Cited In (7)

• Extensible and Efficient Automation Through Reflective Tactics
• Mtac: A monad for typed tactic programming in Coq
• A Graphical Language for Proof Strategies
• Mtac
• Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
• How to make ad hoc proof automation less ad hoc
• Programming with binders and indexed data-types

This page was built for software: VeriML