Skip to content

Issues: ComputerAidedLL/click-and-collect

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

17 Open 67 Closed
17 Open 67 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Proof nets
#174 opened Jun 14, 2023 by suhr
2
[Parsing] Make multiplicative connectives more associative than additive ones enhancement Enhancement to an existing feature good first issue Good for newcomers
#173 opened May 6, 2022 by olaure01
Cut-elimination on open proofs may change the order of formulas in open leaves bug Something isn't working part: cut elimination Cut elimination proof transformation part: exchange Exchange rule
#172 opened Mar 24, 2022 by olaure01
Errors in the auto-prover with top bug Something isn't working part: automated prover Automated LL prover
#171 opened Jan 26, 2022 by Shurtugal
Technical Error bug Something isn't working part: cut elimination Cut elimination proof transformation
#170 opened Jan 25, 2022 by nmunnich
Feature proposal : update proof when exchanging hypotheses feature New feature or request
#169 opened Jan 25, 2022 by emiquey
2
Going back to the beginning of a cut-elimination sequence feature New feature or request part: cut elimination Cut elimination proof transformation
#168 opened Jan 25, 2022 by KostiaChardonnet
Exchange management inside proofs enhancement Enhancement to an existing feature part: exchange Exchange rule
#165 opened Jul 26, 2021 by olaure01
3
Proof transformation: double click on reversible formula enhancement Enhancement to an existing feature
#163 opened Jul 26, 2021 by etiennecallies
Proof grafting feature New feature or request
#159 opened Jul 8, 2021 by olaure01
Proof-transformation mode vs other options enhancement Enhancement to an existing feature version: development happens on development version version: pre-production happens on pre-production version version: production happens on production version
#143 opened Jun 23, 2021 by olaure01
1
Length of rule lines enhancement Enhancement to an existing feature
#67 opened Apr 22, 2021 by olaure01
1
Auto-reverse selection rule in atomic context enhancement Enhancement to an existing feature wontfix This will not be worked on
#64 opened Apr 21, 2021 by olaure01
1
2
ancestry feature New feature or request part: exchange Exchange rule
#18 opened Apr 1, 2021 by damien-pous
1
Quantification feature New feature or request
#16 opened Apr 1, 2021 by lionelvaux
3
Contexts enhancement Enhancement to an existing feature
#13 opened Apr 1, 2021 by lionelvaux
4
exchange rule feature New feature or request part: exchange Exchange rule
#11 opened Apr 1, 2021 by damien-pous
6
ProTip! Adding no:label will show everything without a label.