Skip to content

Issues: katydid/regex-derivatives-coq

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

17 Open 11 Closed
17 Open 11 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

Automate proving of splitting of lists with exists aka concat enhancement New feature or request help wanted Extra attention is needed
#189 opened Apr 8, 2021 by awalterschulze
Adopt some of the crush tactic for more automated proving enhancement New feature or request
#178 opened Mar 6, 2021 by awalterschulze
1
Rewriting between two setoids: bisimilar and lang_iff help wanted Extra attention is needed
#172 opened Jan 31, 2021 by awalterschulze
Definition vs Inductive help wanted Extra attention is needed
#160 opened Jan 19, 2021 by awalterschulze
7
More auto for lists enhancement New feature or request good first issue Good for newcomers
#147 opened Jan 5, 2021 by awalterschulze
Try Tactician enhancement New feature or request help wanted Extra attention is needed
#143 opened Dec 7, 2020 by awalterschulze
Try alectryon as a way to generate readable proofs enhancement New feature or request help wanted Extra attention is needed
#142 opened Nov 25, 2020 by awalterschulze
1
Use Coq standard library's Decidable enhancement New feature or request good first issue Good for newcomers
#136 opened Nov 1, 2020 by awalterschulze
more auto in ExampleR.v enhancement New feature or request help wanted Extra attention is needed
#135 opened Oct 26, 2020 by awalterschulze
9
Extend the Truthy tactic enhancement New feature or request good first issue Good for newcomers
#119 opened Aug 18, 2020 by awalterschulze
Add Paper: Recognising and Generating Terms using Derivatives of Parsing Expression Grammars enhancement New feature or request help wanted Extra attention is needed
#112 opened Aug 16, 2020 by awalterschulze
Mistake in inductive definition of concat_not_matches bug Something isn't working
#100 opened Jul 20, 2020 by Nielius
6
Add examples and comments for all tactics that don't have them yet documentation Improvements or additions to documentation good first issue Good for newcomers
#86 opened May 30, 2020 by awalterschulze
puns documentation Improvements or additions to documentation good first issue Good for newcomers
#69 opened May 22, 2020 by awalterschulze
4
Don't be afraid to open an issue to ask a question question Further information is requested
#19 opened Mar 15, 2020 by awalterschulze
Looking for a challenge, tackle an issue tagged with Help Wanted help wanted Extra attention is needed
#18 opened Mar 15, 2020 by awalterschulze
Getting Started with a Good First Issue good first issue Good for newcomers
#17 opened Mar 15, 2020 by awalterschulze
1
ProTip! What’s not been updated in a month: updated:<2024-12-02.