Proof Utility Library and OWL API Proof Extension

This is a fork of Puli and the Puli OWL API Extension

Primary changes:

Implement modules (JPMS)

Team Ownership - Product Owner

Data Team - Eric Mays (External) [email protected]

Issues and Contributions

Technical and non-technical issues can be reported to the Issue Tracker.

Contributions can be submitted via pull requests. Please check the contribution guide for more details.