Skip to content

Issues: abella-prover/abella

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

40 Open 98 Closed
40 Open 98 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

Running Abella in the browser
#156 opened May 19, 2024 by tausbn
2
Variable confusion/ill typed terms with higher-order terms bug
#155 opened Apr 16, 2024 by wikku
@chaudhuri
4
Build fails: Error (warning 70 [missing-mli]): Cannot find interface file.
#154 opened Apr 5, 2024 by yurivict
@chaudhuri
7
Support bytecode-only target for 32-bit platforms like powerpc
#151 opened Dec 13, 2023 by barracuda156
@chaudhuri
29
Weird interaction between subordination and schematic theorems bug triage-needed
#144 opened Mar 31, 2023 by chaudhuri
Unexpected failure of generic type unification bug
#142 opened Aug 15, 2022 by yvting
@yvting
POLA violation on conjunctive theorems
#141 opened Jun 23, 2022 by chaudhuri
Repeated Kind is OK, but repeated Type is not
#139 opened Jun 23, 2022 by chaudhuri
@chaudhuri
Add unfold named_clause with ... form feature-request
#135 opened May 11, 2021 by chaudhuri
Feature request: multiple proofs of the same theorem feature-request
#133 opened Feb 6, 2021 by chaudhuri
Handling equalities is way too painful
#131 opened Jan 17, 2021 by silene
10
Ill-typed code with schematic polymorphism
#130 opened Dec 18, 2020 by RandomActsOfGrammar
2
Basic tactical support feature-request
#121 opened Jul 23, 2019 by JimmyZJX
1
incorrect reuse of name in generated case
#120 opened May 4, 2019 by south163
1
unfold id n tactic feature-request
#119 opened Apr 5, 2019 by lambdacalculator
1
Search hangs
#118 opened Feb 21, 2019 by lambdacalculator
6
Search is very slow since 2.0.6 triage-needed
#117 opened Jan 20, 2019 by chaudhuri
Implement compute
#116 opened Jan 15, 2019 by chaudhuri
Automatically compile Import does not work properly on Windows feature-request
#115 opened Jan 15, 2019 by JimmyZJX
5
substitution in equality
#114 opened Jan 15, 2019 by htzh
8
Feature request: explicitly specify * and @ by user
#112 opened Jan 11, 2019 by JimmyZJX
3
Failure of weakening? feature-request
#101 opened Apr 7, 2018 by lambdacalculator
3
Search depth exceeded feature-confirmed
#98 opened Mar 10, 2018 by lambdacalculator
2
surprising behavior of intros when names are given in unexpected way.
#97 opened Jan 8, 2018 by gasche
3
Linter module for Specifications
#92 opened May 21, 2017 by robblanco
1
ProTip! What’s not been updated in a month: updated:<2024-04-27.