Skip to content

Issues: Bram-Hub/aris

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

16 Open 41 Closed
16 Open 41 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

RUSTSEC-2022-0048: xml-rs is Unmaintained
#103 opened Mar 27, 2023 by github-actions bot
Keyboard shortcuts are read on every focused tab. bug Something isn't working UI WASM
#83 opened Apr 28, 2022 by MacroLens
4
Proof lines don't remain blank after saving and re-opening proof bug Something isn't working libaris core aris library UI WASM
#72 opened Aug 25, 2020 by io12
Ctrl-R should add to the main premises list when used inside a subproof enhancement New feature or request UI
#71 opened Aug 25, 2020 by io12
"File->Save proof" does nothing on expression tree tabs bug Something isn't working UI
#67 opened Jul 12, 2020 by io12
System for adding axioms enhancement New feature or request help wanted Extra attention is needed libaris core aris library UI WASM
#63 opened Jul 11, 2020 by io12
1
Add FO Con (First Order Consequence) rule enhancement New feature or request help wanted Extra attention is needed libaris core aris library
#62 opened Jul 11, 2020 by io12
Improve subproof dependency selection enhancement New feature or request UI WASM
#59 opened Jul 11, 2020 by io12
Add undo and redo support enhancement New feature or request help wanted Extra attention is needed long term UI WASM
#57 opened Jul 9, 2020 by io12
Auto-scale ExprEntry text fields enhancement New feature or request long term UI
#56 opened Jul 9, 2020 by io12
1
Properly handle file formats in UI enhancement New feature or request UI WASM
#49 opened Jul 4, 2020 by io12
3 tasks
AppMsg::GetProofFromCurrentTab can use the wrong tab when multiple tabs have the same name bug Something isn't working UI WASM
#36 opened Jun 25, 2020 by io12
1
Add metamath integration help wanted Extra attention is needed long term
#24 opened Jun 19, 2020 by io12
Refactor wasm library so it can be used as a backend for a JS frontend WASM
#23 opened Jun 19, 2020 by io12
@io12
1
Add ability to close tabs in UI UI
#14 opened Jun 12, 2020 by io12
Store proofs in local storage UI WASM
#8 opened Jun 11, 2020 by io12
1
ProTip! Find all open issues with in progress development work with linked:pr.