An operational foundation for the tactic language of Coq

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 ◽

10.1145/2505879.2505890 ◽

2013 ◽

Author(s):

Wojciech Jedynak ◽

Małgorzata Biernacka ◽

Dariusz Biernacki

Download Full-text