VeriML

swMATH13522MaRDI QIDQ25436FDOQ25436

Author name not available (Why is that?)

Described by source

• VeriML: typed computation of logical terms inside a language with effects

Cited In (7)

• A graphical language for proof strategies
• Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
• Mtac: a monad for typed tactic programming in Coq
• How to make ad hoc proof automation less ad hoc
• Programming with binders and indexed data-types
• Mtac: a monad for typed tactic programming in Coq
• Extensible and efficient automation through reflective tactics

This page was built for software: VeriML