-
Notifications
You must be signed in to change notification settings - Fork 54
Issues: LPCIC/coq-elpi
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
coq.typecheck-indt-decl failing where it succeeds in plain Coq
#748
by proux01
was closed Jan 23, 2025
coq.ltac.call "apply" -> "Ltac1 tactic apply not found"
#744
by patrick-nicodemus
was closed Jan 19, 2025
Local windows builds fail with coq-elpi.2.2.3 (coq-elpi.2.1.0 was fine)
#729
by MSoegtropIMC
was closed Dec 6, 2024
Please pick the version you prefer for Coq 8.20 in Coq Platform 2025.01
#728
by MSoegtropIMC
was closed Dec 9, 2024
Accumulating into programs across several Coq files isn't idempotent
#627
by swasey
was closed Dec 11, 2024
Declaring TC instance in section can throw anomaly on closing
#618
by trilis
was closed Apr 12, 2024
Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01
#613
by rtetley
was closed Apr 5, 2024
Coq-elpi compilation issue with coq 8.19.0 and elpi 1.18.2
#592
by SnarkBoojum
was closed Feb 12, 2024
Issues building coq-elpi.1.19.3 on Windows (Coq Platform. cygwin MinGW cross)
#551
by MSoegtropIMC
was closed Nov 25, 2023
coq.gref.set: a filter function and a function for creating from list might be useful
#549
by MSoegtropIMC
was closed Nov 30, 2023
Get arguments for tactic of form
simple_intropattern_list(x)
#505
by lukovdm
was closed Sep 29, 2023
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-12-24.