-
Notifications
You must be signed in to change notification settings - Fork 6
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#379 In impermeable/waterproof-vscode;
[Bug] [Lean?] Useless autocomplete suggestions
bugSomething isn't workingSomething isn't workingStatus: Open.#376 In impermeable/waterproof-vscode;[Bug] [Lean] Clicking into the file quickly breaks the proof view
bugSomething isn't workingSomething isn't workingStatus: Open.#374 In impermeable/waterproof-vscode;- Status: Open.#373 In impermeable/waterproof-vscode;
- Status: Open.#372 In impermeable/waterproof-vscode;
- Status: Open.#370 In impermeable/waterproof-vscode;
- Status: Open.#369 In impermeable/waterproof-vscode;
[Request] Add possibility to report bugs
requestRequest for a new featureRequest for a new featureStatus: Open.#366 In impermeable/waterproof-vscode;- Status: Open.#364 In impermeable/waterproof-vscode;
- Status: Open.#363 In impermeable/waterproof-vscode;
Feature: Easier create exercise
requestRequest for a new featureRequest for a new featureStatus: Open.- Status: Open.#361 In impermeable/waterproof-vscode;