Java-Geometry-Expert 0.87 API
| Package | Description |
|---|---|
| gprover |
The gprover package contains the core classes and interfaces related to the
gprover project.
|
| maths |
This package provides functionalities for mathematical operations.
|
|
This package serves as the foundation for managing, processing, and generating PDF documents
within the project.
|
|
| UI |
This package handles the presentation layer of the application by managing UI components
and event handling.
|
| wprover |
The wprover package provides core functionalities for geometric proving and constraint-based computations.
|