Extension to the OWL API interfaces to represent and manipulate with
proofs.
Latest Versions
4 versions →| Version | Vulnerabilities | Usages | Date | |
|---|---|---|---|---|
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 |
