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

Clear current search query, filters, and sorts
17 Open 120 Closed
17 Open 120 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

Extensionality elimination Enhancement Potential Student Project 🎓
#696 opened Mar 12, 2018 by gebner
3
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
Wrap GAPT into a notepad Enhancement Low Priority Potential Student Project 🎓
#586 opened Nov 30, 2016 by quicquid
Z3: Can't read multiline output Enhancement
#582 opened Nov 23, 2016 by loewenheim
4
Prooftool: Display predicates as sets Enhancement Low Priority
#566 opened Sep 21, 2016 by loewenheim
1
Rewrite veriT proof parser to use s-expressions Enhancement
#563 opened Sep 2, 2016 by gebner
veriT proof import for quantifier reasoning Enhancement Potential Student Project 🎓
#557 opened Jul 27, 2016 by gebner
2
Clausification import Enhancement Potential Student Project 🎓
#552 opened Jul 19, 2016 by gebner
1
Reductive cut-elimination for equational proofs Enhancement Potential Student Project 🎓
#549 opened Jul 18, 2016 by gebner
1
Don't run slow tests by default Enhancement
#535 opened Jun 21, 2016 by gebner
prooftool: zooming should preserve center of screen Enhancement Prooftool 🔬
#381 opened Sep 16, 2015 by shetzl
1
ProTip! Find all open issues with in progress development work with linked:pr.