Matches in Secure Chain KG for { <https://pypi.org/project/klr-lang/0.0.6/> ?p ?o ?g. }
Showing items 1 to 6 of
6
with 100 items per page.
- 0.0.6 url "https://github.com/leanprover/KLR" @default.
- 0.0.6 url "https://pypi.org/integrity/klr-lang/0.0.6/klr_lang-0.0.6-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl/provenance" @default.
- 0.0.6 type SoftwareVersion @default.
- 0.0.6 dependsOn 0.5.1 @default.
- 0.0.6 dependsOn 2.2.5 @default.
- 0.0.6 versionName "0.0.6" @default.