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.

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

104 Open 430 Closed
104 Open 430 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

do not print coercions feature request
#1154 opened Nov 19, 2024 by fblanqui
emacs: automatically scroll down the Goals buffer emacs feature request
#1153 opened Nov 19, 2024 by fblanqui
@Alidra
1
rewrite tactic raises "Assertion failed" in infer.ml
#1152 opened Nov 19, 2024 by fblanqui
rewrite tactic fails when the equation contains several metavariables
#1151 opened Nov 19, 2024 by fblanqui
New definitions of notation ignored across files
#1149 opened Nov 11, 2024 by melanie-taprogge
Problem with cleanup of definitions with many have's
#1148 opened Nov 10, 2024 by fblanqui
Emacs/VSCode: error messages and goals are not printed as expected emacs vscode Issues related to Vscode plugin
#1144 opened Oct 11, 2024 by fblanqui
@Alidra
1
Induction command does not work on vectors
#1143 opened Oct 10, 2024 by fblanqui
Do not check critical pairs if a symbol is declared sequential
#1140 opened Oct 4, 2024 by fblanqui
Use decimal notation in error messages when available error message notation
#1139 opened Oct 4, 2024 by fblanqui
In error messages, qualify an identifier only if the module is not open error message
#1138 opened Oct 4, 2024 by fblanqui
Extend associative/commutative modifiers and infix notation to symbols taking additional implicit arguments feature request
#1137 opened Oct 4, 2024 by fblanqui
Extend decimal notation to negative integers feature request notation
#1136 opened Oct 4, 2024 by fblanqui
Adding ordered rewrite system and conditional rewriting?
#1133 opened Sep 16, 2024 by NotBad4U
problem with the apply tactic
#1131 opened Aug 26, 2024 by bodeveix
7
make lambdapi available in opam on ppc64 arch
#1128 opened Jul 25, 2024 by fblanqui
Emacs: goal not printed after begin or { emacs
#1122 opened Jun 21, 2024 by fblanqui
Problem when killing LSP server in Emacs emacs
#1121 opened Jun 21, 2024 by fblanqui
Issue with the .xtc export of lambdapi files
#1117 opened Jun 5, 2024 by melanie-taprogge
Notations on external symbols are not exported
#1116 opened May 28, 2024 by fblanqui
Fail to establishes physical links to the external symbols
#1115 opened May 17, 2024 by NotBad4U
4
In Emacs, the syntax error message at the end of a file, is not displayed in the console
#1111 opened May 7, 2024 by Alidra
Reopen/navigate back the Goals and the console buffers when navigating proofs in Emacs emacs
#1110 opened May 7, 2024 by Alidra
@Alidra
Add a lambdapi command dep to generate a Makefile to check files in parallel
#1108 opened May 1, 2024 by fblanqui
Add export to the new ARI format feature request
#1102 opened Apr 28, 2024 by fblanqui
ProTip! Adding no:label will show everything without a label.