{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:golang/github.com/math-comp/hierarchy-builder","name":"github.com/math-comp/hierarchy-builder","description":"High level commands to declare a hierarchy based on packed classes","version":"v1.10.3","softwareVersion":"v1.10.3","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/math-comp/hierarchy-builder","issueTracker":"https://github.com/math-comp/hierarchy-builder/issues","programmingLanguage":{"@type":"ComputerLanguage","name":"Rocq Prover"},"dateCreated":"2020-03-11","dateModified":"2026-06-24","datePublished":"2026-06-24","copyrightYear":2020,"downloadUrl":"https://proxy.golang.org/cached-only/github.com/math-comp/hierarchy-builder/@v/v1.10.3.zip","softwareHelp":{"@type":"WebSite","url":"https://pkg.go.dev/github.com/math-comp/hierarchy-builder#section-documentation"},"applicationCategory":"go","runtimePlatform":"go","developmentStatus":"active","sameAs":["https://pkg.go.dev/github.com/math-comp/hierarchy-builder"],"https://www.w3.org/ns/activitystreams#likes":104,"https://forgefed.org/ns#forks":30}