https://github.com/sr-lab/coqpyt-docs
Documentation for the Python client for coq-lsp
https://github.com/sr-lab/coqpyt-docs
Last synced: 21 days ago
JSON representation
Documentation for the Python client for coq-lsp
- Host: GitHub
- URL: https://github.com/sr-lab/coqpyt-docs
- Owner: sr-lab
- License: mit
- Created: 2026-04-30T13:14:28.000Z (about 2 months ago)
- Default Branch: main
- Last Pushed: 2026-05-01T21:03:29.000Z (about 2 months ago)
- Last Synced: 2026-05-01T23:10:05.883Z (about 2 months ago)
- Size: 1000 KB
- Stars: 0
- Watchers: 0
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# CoqPyt Documentation
Documentation for the CoqPyt Python client for coq-lsp.
[CoqPyt](https://github.com/sr-lab/coqpyt) is a Python client for [rocq-lsp](https://github.com/ejgallego/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.
## Table of Contents
- [Per-Class Documentation](#per-class-documentation)
- [System Breakdown](#system-breakdown)
- [Support](#support)
- [Credits](#credits)
- [License](#license)
## Per-Class Documentation
For detailed, per-class documentation, see [PerClassDocs.md](./PerClassDocs.md). Through here, you can navigate through each of CoqPyt's packages to read more about specific classes, attributes, and operations.
## System Breakdown
For a basic breakdown of CoqPyt's system, see [SystemBreakdown.md](./SystemBreakdown.md). This document covers the basic breakdown of the CoqPyt system, allowing for the easier use and contribution to this project.
## Support
This documentation has last been updated for commit [1792a3f](https://github.com/sr-lab/coqpyt/tree/1792a3f2a419bbbc17252f64b147e8f8812bcdd5) of CoqPyt, committed on November 21, 2025.
## Credits
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.
## License
[MIT](./LICENSE)