-
Notifications
You must be signed in to change notification settings - Fork 17
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.
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
Label
Projects
Milestones
Assignee
Sort
Issues list
Build fails: Error (warning 70 [missing-mli]): Cannot find interface file.
#154
opened Apr 5, 2024 by
yurivict
Support bytecode-only target for 32-bit platforms like powerpc
#151
opened Dec 13, 2023 by
barracuda156
Weird interaction between subordination and schematic theorems
bug
triage-needed
#144
opened Mar 31, 2023 by
chaudhuri
Feature request: multiple proofs of the same theorem
feature-request
#133
opened Feb 6, 2021 by
chaudhuri
Automatically compile Import does not work properly on Windows
feature-request
#115
opened Jan 15, 2019 by
JimmyZJX
surprising behavior of
intros
when names are given in unexpected way.
#97
opened Jan 8, 2018 by
gasche
Previous Next
ProTip!
Find all open issues with in progress development work with linked:pr.