-
Notifications
You must be signed in to change notification settings - Fork 2
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Restrict commutative cut step for ! rule
invalidThis doesn't seem rightThis doesn't seem rightpart: cut eliminationCut elimination proof transformationCut elimination proof transformationStatus: Open.#177 In ComputerAidedLL/click-and-collect;[Parsing] add syntactic sugar "o-" and "o-o"
enhancementEnhancement to an existing featureEnhancement to an existing featuregood first issueGood for newcomersGood for newcomersStatus: Open.#175 In ComputerAidedLL/click-and-collect;- Status: Open.#174 In ComputerAidedLL/click-and-collect;
[Parsing] Make multiplicative connectives more associative than additive ones
enhancementEnhancement to an existing featureEnhancement to an existing featuregood first issueGood for newcomersGood for newcomersStatus: Open.#173 In ComputerAidedLL/click-and-collect;Cut-elimination on open proofs may change the order of formulas in open leaves
bugSomething isn't workingSomething isn't workingpart: cut eliminationCut elimination proof transformationCut elimination proof transformationpart: exchangeExchange ruleExchange ruleStatus: Open.#172 In ComputerAidedLL/click-and-collect;Errors in the auto-prover with top
bugSomething isn't workingSomething isn't workingpart: automated proverAutomated LL proverAutomated LL proverStatus: Open.#171 In ComputerAidedLL/click-and-collect;Technical Error
bugSomething isn't workingSomething isn't workingpart: cut eliminationCut elimination proof transformationCut elimination proof transformationStatus: Open.#170 In ComputerAidedLL/click-and-collect;Feature proposal : update proof when exchanging hypotheses
featureNew feature or requestNew feature or requestStatus: Open.#169 In ComputerAidedLL/click-and-collect;Going back to the beginning of a cut-elimination sequence
featureNew feature or requestNew feature or requestpart: cut eliminationCut elimination proof transformationCut elimination proof transformationStatus: Open.#168 In ComputerAidedLL/click-and-collect;Exchange management inside proofs
enhancementEnhancement to an existing featureEnhancement to an existing featurepart: exchangeExchange ruleExchange ruleStatus: Open.#165 In ComputerAidedLL/click-and-collect;Proof transformation: double click on reversible formula
enhancementEnhancement to an existing featureEnhancement to an existing featureStatus: Open.#163 In ComputerAidedLL/click-and-collect;Proof grafting
featureNew feature or requestNew feature or requestStatus: Open.#159 In ComputerAidedLL/click-and-collect;