LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

coq_serapy

Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.

OtherEmerging

Stars

—

Forks

—

Contributors

5

Last push

15mo ago

Recent commits

Latest commits.

Add return type of None so that some typechecking happens
0fc9511Alex Sanchez-Stern24mo ago
Don't worry about sending a new doc on timeout, just move on
d1c9e61Alex Sanchez-Stern25mo ago
Set sertop flags properly in coq versions >= 8.18
bb54023Alex Sanchez-Stern25mo ago
Fix typo in rollback for lsp backend
cb6945aAlex Sanchez-Stern25mo ago
Fix coq serapy to work well with coq versions >= 8.18
c2a1678Alex Sanchez-Stern25mo ago

Add compatible version of pylspclient as a submodule for coq-lsp

6c3d450Alex Sanchez-Stern25mo ago

Handle interrupts properly in coq-lsp backend when not in concise mode

b83109aAlex Sanchez-Stern25mo ago

Break getting goals into several functions in lsp backend

dd182aaAlex Sanchez-Stern25mo ago

Top contributors

Builders behind this project.

AbhishekVarghese