Matches in Secure Chain KG for { <https://pypi.org/project/copra-theorem-prover/1.0.0/> ?p ?o ?g. }
Showing items 1 to 10 of
10
with 100 items per page.
- 1.0.0 url "https://github.com/trishullab/copra" @default.
- 1.0.0 url "https://github.com/trishullab/copra/issues" @default.
- 1.0.0 type SoftwareVersion @default.
- 1.0.0 dependsOn 3.48.0 @default.
- 1.0.0 dependsOn 1.1.10 @default.
- 1.0.0 dependsOn 1.69.0 @default.
- 1.0.0 dependsOn 0.16.1 @default.
- 1.0.0 dependsOn 0.4.0 @default.
- 1.0.0 dependsOn 4.48.0 @default.
- 1.0.0 versionName "1.0.0" @default.