For project-related questions, bug reports, and feature requests:
Open an issue on the ProofGraph GitHub repository.
For collaboration inquiries and other questions:
Reach out to Jonathan Llovet at jllovet@paretoandsolomon.com.