Skip to content

Issues: Deducteam/lambdapi

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.

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

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

Issues list

Reserve ";" for command end
#599 opened Mar 12, 2021 by fblanqui
Wrong warning on pattern variables
#663 opened May 5, 2021 by fblanqui
Duplicated critical pair
#873 opened Jun 2, 2022 by fblanqui
Wrong placement of braces
#894 opened Jul 27, 2022 by qbuzet
A tactic to abstract the goal ?
#906 opened Aug 5, 2022 by qbuzet
Some ideas for tactics
#907 opened Aug 5, 2022 by qbuzet
admitted goals in aborted proof
#920 opened Oct 12, 2022 by fblanqui
Optimize loading mechanism in lambdapi
#959 opened Feb 24, 2023 by fblanqui
Printing of unification rules fails
#1010 opened Aug 1, 2023 by fblanqui
emacs mode warnings emacs
#1045 opened Feb 2, 2024 by fblanqui
ProTip! no:milestone will show everything without a milestone.