Search results

Switch LSP server to VsRocq

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#66 In sr-lab/coqpyt;

· pcarrott opened on Dec 22, 2025

exception on proof processing

Status: Open.

#64 In sr-lab/coqpyt;

· ASamSam opened on Nov 19, 2025

Tests fail on a clean install

Status: Open.

#58 In sr-lab/coqpyt;

· alexanderzdu opened on Jun 3, 2025

Remove aborted terms from context

bugSomething isn't workingSomething isn't working

Status: Open.

#55 In sr-lab/coqpyt;

· pcarrott opened on Oct 18, 2024

failed tests and errors

Status: Open.

#45 In sr-lab/coqpyt;

· jizej opened on Jul 12, 2024

Change index parameter in add_step

enhancementNew feature or requestNew feature or request

Status: Open.

#27 In sr-lab/coqpyt;

· pcarrott opened on Dec 2, 2023

tactics and theorems with the same name

bugSomething isn't workingSomething isn't working

Status: Open.

#24 In sr-lab/coqpyt;

· Nfsaavedra opened on Nov 17, 2023

Timeout when there is an open comment in the end of a file

bugSomething isn't workingSomething isn't working

Status: Open.

#16 In sr-lab/coqpyt;

· Nfsaavedra opened on Oct 5, 2023

Support Anonymous Instances

enhancementNew feature or requestNew feature or request

Status: Open.

#15 In sr-lab/coqpyt;

· Nfsaavedra opened on Oct 5, 2023

Fix Module Types handling

bugSomething isn't workingSomething isn't working

Status: Open.

#14 In sr-lab/coqpyt;

· Nfsaavedra opened on Oct 5, 2023

Handle Section constructs (Let, Variable...)

enhancementNew feature or requestNew feature or request

Status: Open.

#4 In sr-lab/coqpyt;

· Nfsaavedra opened on Aug 2, 2023