libcoq-hierarchy-builder
Releases1
Frequency
Last Release
build hierarchies of algebraic structures in Coq (runtime files)
Collections containing this project
Showing collections based on your access.
This project is not in any collections you can view.