Skip to content

Issues: expln/metamath-lamp

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

43 Open 82 Closed
43 Open 82 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

Search by description produces misleading results bug Something isn't working
#215 opened Nov 5, 2024 by expln
Incorrect proof status for steps bug Something isn't working
#212 opened Nov 1, 2024 by expln
Variables cannot unify with themselves question Further information is requested
#198 opened Apr 16, 2024 by CatsAreFluffy
2
Search is too slow bug Something isn't working
#186 opened Dec 13, 2023 by expln
Use the same width for all labels on the Editor tab
#179 opened Dec 11, 2023 by expln
Error when < appears in description bug Something isn't working
#174 opened Nov 27, 2023 by BTernaryTau
1
Make it possible to see more available proofs in the bottom-up prover
#169 opened Oct 9, 2023 by expln
Keep working on disconnect from network
#161 opened Sep 16, 2023 by david-a-wheeler
2
Multiple editor tabs
#153 opened Aug 6, 2023 by CatsAreFluffy
1
Warn the user when a substitution is going to change a hypotheses or the goal statement
#146 opened Jul 26, 2023 by expln
Prohibit substitutions which modify global essential statements bug Something isn't working
#144 opened Jul 22, 2023 by expln
Overflow editor icon bar icons into hamburger UI UI related
#134 opened Jul 9, 2023 by david-a-wheeler
Embed the "current version of Metamath-lamp" in the exported JSON
#128 opened Jun 29, 2023 by expln
Implement "Shortened header" view option UI UI related
#119 opened Jun 25, 2023 by expln
Additions for later versions - discussion
#118 opened Jun 24, 2023 by david-a-wheeler
7
Visualization bug: On visualization, resulting statement is dragged down to next line
#116 opened Jun 23, 2023 by david-a-wheeler
1
Be able to load URL in non-TEMP mode UI UI related
#114 opened Jun 23, 2023 by david-a-wheeler
1
Enable display of variable types (low priority) UI UI related
#110 opened Jun 21, 2023 by david-a-wheeler
Generate shorter URLs (low priority) UI UI related
#109 opened Jun 21, 2023 by david-a-wheeler
3
Error in the console: MUI: Too many re-renders. bug Something isn't working
#104 opened Jun 17, 2023 by expln
Open proof explorer by clicking refs in justifications UI UI related
#99 opened Jun 12, 2023 by expln
3
In compact mode, start statement on current line then overflow to full lines (low priority/post v11) UI UI related
#98 opened Jun 12, 2023 by david-a-wheeler
Automatically invoke unification if there isn't a green checkmark but a visualization is "requested" UI UI related
#96 opened Jun 11, 2023 by expln
Proposal: Allow bottom-up prover to unify work variables more broadly (long-term) Alg related to algorithms
#77 opened Jun 4, 2023 by david-a-wheeler
1
50
Shorten top heading about context UI UI related
#70 opened May 31, 2023 by david-a-wheeler
2
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.