-
Notifications
You must be signed in to change notification settings - Fork 46
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Panel widgets are refreshed when the orange bar progresses
bugSomething isn't workingSomething isn't workingStatus: Open.#176 In leanprover-community/ProofWidgets4;- Status: Open.#136 In leanprover-community/ProofWidgets4;
Add other Recharts chart formats
enhancementNew feature or requestNew feature or requestStatus: Open.#96 In leanprover-community/ProofWidgets4;feature request: widget to display the docstring of the current lemma
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#70 In leanprover-community/ProofWidgets4;macOS build deadlocks nondeterministically
bugSomething isn't workingSomething isn't workinghelp wantedExtra attention is neededExtra attention is neededStatus: Open.#33 In leanprover-community/ProofWidgets4;Pickling widgets for archival
enhancementNew feature or requestNew feature or requestStatus: Open.#13 In leanprover-community/ProofWidgets4;Provide Lake support for building widgets
enhancementNew feature or requestNew feature or requestStatus: Open.#12 In leanprover-community/ProofWidgets4;Writing UI logic in Lean
enhancementNew feature or requestNew feature or requestStatus: Open.#9 In leanprover-community/ProofWidgets4;Support for LaTeX
enhancementNew feature or requestNew feature or requestStatus: Open.#8 In leanprover-community/ProofWidgets4;Add Speedscope component for visualizing profiler flamegraphs
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#6 In leanprover-community/ProofWidgets4;Transparent selection of
ExprpresentersenhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededuser interfaceQuestions about UI and UX designQuestions about UI and UX designStatus: Open.#4 In leanprover-community/ProofWidgets4;Support for inline TypeScript
enhancementNew feature or requestNew feature or requestStatus: Open.#3 In leanprover-community/ProofWidgets4;