Extension to the OWL API interfaces to represent and manipulate with proofs.

Latest Versions

4 versions โ†’
VersionVulnerabilitiesUsagesDate
0.6.x
0.6.0
1
Oct 09, 2024
0.5.x
0.5.0
1
Oct 08, 2024
0.4.x
0.4.0
1
Aug 23, 2024
0.3.x
0.3.0-ikm-r1
2
Aug 07, 2024
4 versions โ†’