hierarchy-builder in coq-community/awesome-coq

High level commands to declare a hierarchy based on packed classes

created at April 9, 2019, 2:10 p.m.

Prolog

18 +1

97 +0

21 +0

GitHub