Fingerprint
Dive into the research topics of 'Mtac2: Typed tactics for backward reasoning in Coq'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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 journal › Article › Scientific › peer-review
70
Downloads
(Pure)