Issues

• RUSTSEC-2022-0048: xml-rs is Unmaintained

  Bram-Hub/aris#103 · Filter by author github-actions opened on Mar 27, 2023

• Keyboard shortcuts are read on every focused tab.

  bugUIWASM
  Bram-Hub/aris#83 · Filter by author MacroLens opened on Apr 28, 2022
  4

• Ctrl-R should add to the main premises list when used inside a subproof

  enhancementUI
  Bram-Hub/aris#71 · Filter by author io12 opened on Aug 25, 2020

• "File->Save proof" does nothing on expression tree tabs

  bugUI
  Bram-Hub/aris#67 · Filter by author io12 opened on Jul 12, 2020

• System for adding axioms

  enhancementhelp wantedlibarisUIWASM
  Bram-Hub/aris#63 · Filter by author io12 opened on Jul 11, 2020
  1

• Add FO Con (First Order Consequence) rule

  enhancementhelp wantedlibaris
  Bram-Hub/aris#62 · Filter by author io12 opened on Jul 11, 2020

• Improve subproof dependency selection

  enhancementUIWASM
  Bram-Hub/aris#59 · Filter by author io12 opened on Jul 11, 2020

• Add undo and redo support

  enhancementhelp wantedlong termUIWASM
  Bram-Hub/aris#57 · Filter by author io12 opened on Jul 9, 2020

• Auto-scale ExprEntry text fields

  enhancementlong termUI
  Bram-Hub/aris#56 · Filter by author io12 opened on Jul 9, 2020
  1

• Properly handle file formats in UI

  enhancementUIWASM
  Bram-Hub/aris#49 · Filter by author io12 opened on Jul 4, 2020

• AppMsg::GetProofFromCurrentTab can use the wrong tab when multiple tabs have the same name

  bugUIWASM
  Bram-Hub/aris#36 · Filter by author io12 opened on Jun 25, 2020
  1

• Add metamath integration

  help wantedlong term
  Bram-Hub/aris#24 · Filter by author io12 opened on Jun 19, 2020

• Refactor wasm library so it can be used as a backend for a JS frontend

  WASM
  Bram-Hub/aris#23 · Filter by author io12 opened on Jun 19, 2020
  1

  

• Store proofs in local storage

  UIWASM
  Bram-Hub/aris#8 · Filter by author io12 opened on Jun 11, 2020
  1