Documentation for the CoqPyt Python client for coq-lsp.
CoqPyt is a Python client for rocq-lsp, providing interaction with Rocq files and navigation through proofs. This repository provides detailed documentation for all of CoqPyt's features and for how CoqPyt works under the hood.
For detailed, per-class documentation, see PerClassDocs.md. Through here, you can navigate through each of CoqPyt's packages to read more about specific classes, attributes, and operations.
For a basic breakdown of CoqPyt's system, see SystemBreakdown.md. This document covers the basic breakdown of the CoqPyt system, allowing for the easier use and contribution to this project.
This documentation has last been updated for commit 1792a3f of CoqPyt, committed on November 21, 2025.
This documentation was created by Archer Matthias under the supervision of Dr. Ali Ghanbari as an Honors Project for COMP 3700 Software Modeling and Design at Auburn University.