hierarchy-builder
High level commands to declare a hierarchy based on packed classes
96 stars
17 watching
21 forks
Language: Prolog
last commit: 15 days ago
Linked from 2 awesome lists
coqelpimathcomp
hierarchy-builder High level commands to declare a hierarchy based on packed classes
coq-community/awesome-coq
uhub/awesome-coq