Home » dev.ikm » puli

Group: IKM PuLI
Sort by:Popular▼

1.Proof Utility Library6 usages

dev.ikm.puli » puli Apache

A library for manipulating with proofs based on inference rules.
Last Release on Oct 9, 2024

2.OWL API Proof Extension2 usages

dev.ikm.puli » owlapi-proof Apache

Extension to the OWL API interfaces to represent and manipulate with proofs.
Last Release on Oct 9, 2024

3.Proof Utility

dev.ikm.puli » puli-parent Apache

Proof Utility Parent
Last Release on Oct 9, 2024