-
Notifications
You must be signed in to change notification settings - Fork 7
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Instantiating a universal whose variable does not appear in the formula results in an error
bugSomething isn't workingSomething isn't workingStatus: Open.#69 In Bram-Hub/Willow;Typing on mobile keeps the cursor in the same location
bugSomething isn't workingSomething isn't workingStatus: Open.#68 In Bram-Hub/Willow;Add the ability to branch on any statement
enhancementNew feature or requestNew feature or requestStatus: Open.#64 In Bram-Hub/Willow;Add decomposition popout or menu
enhancementNew feature or requestNew feature or requestStatus: Open.#63 In Bram-Hub/Willow;Change assignment submission timestamp to display in local time
bugSomething isn't workingSomething isn't workingStatus: Open.#58 In Bram-Hub/Willow;- Status: Open.#51 In Bram-Hub/Willow;
- Status: Open.#49 In Bram-Hub/Willow;
Support reduction rule, tautologies, and contradictions
enhancementNew feature or requestNew feature or requestStatus: Open.#19 In Bram-Hub/Willow;Support inference rules
enhancementNew feature or requestNew feature or requestStatus: Open.#18 In Bram-Hub/Willow;Support logical equivalence rules
enhancementNew feature or requestNew feature or requestStatus: Open.#15 In Bram-Hub/Willow;