Cyril Cohen: Hierarchy Builder: algebraic hierarchies made easy in Coq with Elpi (FSCD B)
Channel: IJCAR-FSCD 2020
Date: 12/07/2020

Hierarchy Builder: algebraic hierarchies made easy in Coq with Elpi - System description
Authors: Cyril Cohen, Kazuhiko Sakaguchi, and Enrico Tassi

Aired: 2020-02-02 17:00:00 CEST (UTC+2)