Search results

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

bugSomething isn't workingSomething isn't working

Status: Open.

#69 In Bram-Hub/Willow;

· connorjayr opened on Mar 24, 2022

Typing on mobile keeps the cursor in the same location

bugSomething isn't workingSomething isn't working

Status: Open.

#68 In Bram-Hub/Willow;

· jputlock opened on Dec 13, 2021

Add the ability to branch on any statement

enhancementNew feature or requestNew feature or request

Status: Open.

#64 In Bram-Hub/Willow;

· jputlock opened on Nov 26, 2021

Add decomposition popout or menu

enhancementNew feature or requestNew feature or request

Status: Open.

#63 In Bram-Hub/Willow;

· jputlock opened on Nov 26, 2021

Change assignment submission timestamp to display in local time

bugSomething isn't workingSomething isn't working

Status: Open.

#58 In Bram-Hub/Willow;

· connorjayr opened on Nov 9, 2021

Rewrite modifyDecomposition

Status: Open.

#51 In Bram-Hub/Willow;

· jputlock opened on May 4, 2021

Add equality/identity operator

Status: Open.

#49 In Bram-Hub/Willow;

· jputlock opened on May 4, 2021

Support reduction rule, tautologies, and contradictions

enhancementNew feature or requestNew feature or request

Status: Open.

#19 In Bram-Hub/Willow;

· connorjayr opened on Aug 18, 2020

Support inference rules

enhancementNew feature or requestNew feature or request

Status: Open.

#18 In Bram-Hub/Willow;

· connorjayr opened on Aug 18, 2020

Support logical equivalence rules

enhancementNew feature or requestNew feature or request

Status: Open.

#15 In Bram-Hub/Willow;

· connorjayr opened on Aug 18, 2020