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

Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi

Browse the full FSCD paper archive.