Matches in Secure Chain KG for { <https://pypi.org/project/pytactician/15.1.0/> ?p ?o ?g. }
Showing items 1 to 13 of
13
with 100 items per page.
- 15.1.0 license MIT.html @default.
- 15.1.0 url "https://coq-tactician.github.io" @default.
- 15.1.0 url "https://coq-tactician.github.io/api/pytactician-pdoc" @default.
- 15.1.0 url "https://github.com/coq-tactician/coq-tactician-api" @default.
- 15.1.0 type SoftwareVersion @default.
- 15.1.0 dependsOn 0.20.3 @default.
- 15.1.0 dependsOn 0.21.0 @default.
- 15.1.0 dependsOn 0.5.1 @default.
- 15.1.0 dependsOn 3.1.6 @default.
- 15.1.0 dependsOn 1.3.0 @default.
- 15.1.0 dependsOn 23.6.0 @default.
- 15.1.0 dependsOn 23.6.0 @default.
- 15.1.0 versionName "15.1.0" @default.