Issues

• Instantiating a universal whose variable does not appear in the formula results in an error

  bug
  Bram-Hub/Willow#69 · Filter by author connorjayr opened on Mar 24, 2022
  1

• Typing on mobile keeps the cursor in the same location

  bug
  Bram-Hub/Willow#68 · Filter by author jputlock opened on Dec 13, 2021

• Add the ability to branch on any statement

  enhancement
  Bram-Hub/Willow#64 · Filter by author jputlock opened on Nov 26, 2021
  

• Add decomposition popout or menu

  enhancement
  Bram-Hub/Willow#63 · Filter by author jputlock opened on Nov 26, 2021
  

• Change assignment submission timestamp to display in local time

  bug
  Bram-Hub/Willow#58 · Filter by author connorjayr opened on Nov 9, 2021
  

• Rewrite modifyDecomposition

  Bram-Hub/Willow#51 · Filter by author jputlock opened on May 4, 2021
  

• Add equality/identity operator

  Bram-Hub/Willow#49 · Filter by author jputlock opened on May 4, 2021
  

• Support reduction rule, tautologies, and contradictions

  enhancement
  Bram-Hub/Willow#19 · Filter by author connorjayr opened on Aug 18, 2020

• Support inference rules

  enhancement
  Bram-Hub/Willow#18 · Filter by author connorjayr opened on Aug 18, 2020

• Support logical equivalence rules

  enhancement
  Bram-Hub/Willow#15 · Filter by author connorjayr opened on Aug 18, 2020