Skip to content

Issues: gapt/gapt

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

44 Open 593 Closed
44 Open 593 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Any chance for a Scala 3 release?
#765 opened Jan 21, 2023 by spamegg1
Chain tactic error messages Maintenance πŸ”§
#742 opened Jan 16, 2020 by jvierling
@jvierling
1
IProver tests failing Bug πŸͺ²
#740 opened Oct 14, 2019 by jvierling
@jvierling
4
Prooftool: Shaking Rules Bug πŸͺ² Prooftool πŸ”¬
#735 opened Apr 4, 2019 by jvierling
2
Documentation of Ξ»-calculus
#731 opened Jan 23, 2019 by jvierling
@gebner
Ugly expansion proofs
#730 opened Nov 23, 2018 by gebner
Sort with LPO leads to Exception "Comparison method violates its general contract!" Bug πŸͺ²
#711 opened Jul 16, 2018 by quicquid
1
Vampire.extendToManySortedViaErasure doesn't handle skolem symbols
#704 opened May 16, 2018 by mschlaipfer
Extensionality elimination Enhancement Potential Student Project πŸŽ“
#696 opened Mar 12, 2018 by gebner
3
Substitution does not preserve formula validity Bug πŸͺ²
#682 opened Jan 26, 2018 by gebner
1
user manual: schema section User Manual πŸ“™
#670 opened Dec 21, 2017 by gebner
Fancy features section in user manual Enhancement User Manual πŸ“™
#656 opened Oct 18, 2017 by gebner
Section describing DRUP calculus in user manual Enhancement User Manual πŸ“™
#655 opened Oct 18, 2017 by gebner
Clausification in user manual Enhancement User Manual πŸ“™
#654 opened Oct 18, 2017 by gebner
@gebner
Modular calculi Enhancement
#629 opened Apr 26, 2017 by loewenheim
Expansion proof minimization via unsatisfiable cores Enhancement Potential Student Project πŸŽ“
#620 opened Mar 17, 2017 by gebner
1
Get rid of Seq Enhancement Low Priority
#606 opened Feb 8, 2017 by loewenheim
2
Use tut for code in user manual Enhancement Low Priority
#591 opened Dec 7, 2016 by loewenheim
Support splitting in erasure reduction
#590 opened Dec 6, 2016 by jvierling
2
erasure reduction: handle Skolemization inferences
#589 opened Dec 3, 2016 by jvierling
1
Wrap GAPT into a notepad Enhancement Low Priority Potential Student Project πŸŽ“
#586 opened Nov 30, 2016 by quicquid
TIP import: handle primitive Int type
#584 opened Nov 30, 2016 by jvierling
2
Z3: Can't read multiline output Enhancement
#582 opened Nov 23, 2016 by loewenheim
4
"Hide structural rules" messes up line length Bug πŸͺ² Prooftool πŸ”¬
#577 opened Oct 31, 2016 by loewenheim
"Hide structural rules" and "Hide sequent contexts" don't play well together Bug πŸͺ² Prooftool πŸ”¬
#573 opened Oct 17, 2016 by loewenheim
ProTip! no:milestone will show everything without a milestone.