coq-hierarchy-builder-shim Versions (4)

Version Release Date Links
1.6.0 20 Sep 2023 Documentation
1.4.0 29 Sep 2022 Documentation
1.2.0 25 Sep 2021 Documentation
1.1.0 31 Mar 2021 Documentation