Extension to the OWL API interfaces to represent and manipulate with proofs.
VersionVulnerabilitiesRepositoryUsagesDate
0.6.x
0.6.0CentralOct 09, 2024
0.5.x
0.5.0CentralOct 08, 2024
0.4.x
0.4.0CentralAug 23, 2024
0.3.x
0.3.0-ikm-r1CentralAug 07, 2024