Skip to content

Issues: leanprover-community/ProofWidgets4

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

15 Open 9 Closed
15 Open 9 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Add type prop to AxisProps enhancement New feature or request
#98 opened Dec 19, 2024 by mars0i
3
npm "MODULE_NOT_FOUND" error question Further information is requested
#97 opened Dec 18, 2024 by AwayGithub
1
Add other Recharts chart formats enhancement New feature or request
#96 opened Dec 17, 2024 by mars0i
4
feature request: widget to display the docstring of the current lemma enhancement New feature or request help wanted Extra attention is needed
#70 opened Jul 15, 2024 by Vtec234
macOS build deadlocks nondeterministically bug Something isn't working help wanted Extra attention is needed
#33 opened Nov 8, 2023 by Vtec234
2
Don't include demo widgets in release archive enhancement New feature or request help wanted Extra attention is needed
#19 opened Aug 3, 2023 by Vtec234
Edits sometimes fail in Conv demo bug Something isn't working help wanted Extra attention is needed
#14 opened Jun 9, 2023 by Vtec234
Pickling widgets for archival enhancement New feature or request
#13 opened May 4, 2023 by Vtec234
Provide Lake support for building widgets enhancement New feature or request
#12 opened Apr 25, 2023 by Vtec234
Writing UI logic in Lean enhancement New feature or request
#9 opened Apr 13, 2023 by Vtec234
2
Support for LaTeX enhancement New feature or request
#8 opened Apr 13, 2023 by Vtec234
Add Speedscope component for visualizing profiler flamegraphs enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed
#6 opened Apr 13, 2023 by Vtec234
Transparent selection of Expr presenters enhancement New feature or request help wanted Extra attention is needed user interface Questions about UI and UX design
#4 opened Apr 11, 2023 by Vtec234
1
Support for inline TypeScript enhancement New feature or request
#3 opened Apr 11, 2023 by Vtec234
Specifying which expressions Expr presenters apply to enhancement New feature or request metaprogramming Design of metaprogramming APIs
#2 opened Apr 11, 2023 by Vtec234
1
ProTip! Exclude everything labeled bug with -label:bug.