-
Notifications
You must be signed in to change notification settings - Fork 7
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#69 In sr-lab/coqpyt;
Switch LSP server to VsRocq
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#66 In sr-lab/coqpyt;- Status: Open.#64 In sr-lab/coqpyt;
- Status: Open.#58 In sr-lab/coqpyt;
Remove aborted terms from context
bugSomething isn't workingSomething isn't workingStatus: Open.#55 In sr-lab/coqpyt;- Status: Open.#45 In sr-lab/coqpyt;
Change index parameter in add_step
enhancementNew feature or requestNew feature or requestStatus: Open.#27 In sr-lab/coqpyt;tactics and theorems with the same name
bugSomething isn't workingSomething isn't workingStatus: Open.#24 In sr-lab/coqpyt;Timeout when there is an open comment in the end of a file
bugSomething isn't workingSomething isn't workingStatus: Open.#16 In sr-lab/coqpyt;Support Anonymous Instances
enhancementNew feature or requestNew feature or requestStatus: Open.#15 In sr-lab/coqpyt;Fix Module Types handling
bugSomething isn't workingSomething isn't workingStatus: Open.#14 In sr-lab/coqpyt;Handle Section constructs (Let, Variable...)
enhancementNew feature or requestNew feature or requestStatus: Open.#4 In sr-lab/coqpyt;