Mtac2: Typed tactics for backward reasoning in Coq

Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, Derek Dreyer

Research output: Contribution to journalArticleScientificpeer-review

23 Downloads (Pure)

Fingerprint Dive into the research topics of 'Mtac2: Typed tactics for backward reasoning in Coq'. Together they form a unique fingerprint.

Engineering & Materials Science