All Packages

Package Summary

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.
pdf	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.