Extension to the OWL API interfaces to represent and manipulate with
proofs.
Version0.4.0compared with
Version Details
| 0.3.0-ikm-r1 | 0.4.0 | |
|---|---|---|
| Release date | Aug 07, 2024 | Aug 23, 2024 |
| Licenses | Apache 2.0 | Apache 2.0 |
| Vulnerabilities | None | None |
Compile Changes (3)
| 0.3.0-ikm-r1 | 0.4.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | dev.ikm.jpms » jsr305 | 3.0.2-r1 | 3.0.2-r6 |
| ~ Updated | dev.ikm.owlapi » owlapi-api | 4.7.0 | 4.7.1 |
| ~ Updated | dev.ikm.puli » puli | 0.3.0-ikm-r1 | 0.4.0 |