Skip to content

Issues: andrew-johnson-4/LSTS

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

5 Open 123 Closed
5 Open 123 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

Benchmark Auto Theorems
#258 opened Mar 6, 2024 by andrew-johnson-4
Replace Regexes with DFAs checker Issues related to Typechecking or Logic enhancement New feature or request parser Issues related to Tokenization or Parsing
#204 opened Mar 5, 2023 by andrew-johnson-4 1.0
Implement reverse operator for regular expressions backend Issues related to Proof Objects or Code Generation checker Issues related to Typechecking or Logic parser Issues related to Tokenization or Parsing
#183 opened Feb 19, 2023 by andrew-johnson-4 1.0
1
FIXME backend Issues related to Proof Objects or Code Generation bug Something isn't working checker Issues related to Typechecking or Logic documentation Improvements or additions to documentation parser Issues related to Tokenization or Parsing performance Issues related to Code Optimization prelude Issues related to Preludes or User Defined Logic testing Issues related to Regression Testing
#179 opened Feb 18, 2023 by andrew-johnson-4 0.7
1
Add optional term argument to hints checker Issues related to Typechecking or Logic enhancement New feature or request parser Issues related to Tokenization or Parsing
#159 opened Jan 27, 2023 by andrew-johnson-4 1.0
ProTip! Exclude everything labeled bug with -label:bug.