Login / Signup

Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description).

Cyril CohenKazuhiko SakaguchiEnrico Tassi
Published in: FSCD (2020)
Keyphrases