Skip to content

Issues: UMM-CSci/edsger

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

30 Open 26 Closed
30 Open 26 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

Switch CI from Travis to GitHub Actions
#94 opened May 27, 2020 by NicMcPhee
Update to new Figwheel?
#92 opened May 27, 2020 by NicMcPhee
1
Resolve security alerts raised by GitHub
#90 opened Oct 10, 2019 by bemica
Switch from strings to keywords as "type of step" labels
#88 opened Jun 3, 2019 by NicMcPhee
Add a "click keypad" for data entry
#87 opened Jun 1, 2019 by NicMcPhee
Add button to swap order on rules
#86 opened Jun 1, 2019 by NicMcPhee
Should we be using = instead of equiv === on the spine?
#85 opened May 31, 2019 by NicMcPhee End of June, 2019
Recursive call in unification.cljs doesn't have enough arguments bug
#83 opened May 31, 2019 by NicMcPhee End of June, 2019
Provide 'T' and 'F' as shorthands for 'true' and 'false'
#82 opened May 31, 2019 by NicMcPhee
Add color coding to show substitutions
#81 opened May 31, 2019 by NicMcPhee
@merki002
Provide an optional comment box along with rules
#80 opened May 31, 2019 by NicMcPhee
"Error in input" for parse errors isn't super helpful
#79 opened May 31, 2019 by NicMcPhee
@merki002
Possibly support more flexible parens on chains of symmetric, associative operators
#78 opened May 31, 2019 by NicMcPhee
@merki002
Allow insertion and deletion at more arbitrary points in a proof
#77 opened May 31, 2019 by NicMcPhee
All undo on step deletion
#76 opened May 31, 2019 by NicMcPhee
Drop word "or" as a connective in the symbol table
#74 opened May 31, 2019 by NicMcPhee
Allow people to specify/choose the theorem they're trying to prove
#73 opened May 31, 2019 by NicMcPhee
Add drop down for "official" rules from a textbook
#72 opened May 31, 2019 by NicMcPhee
Model check validity of rules
#71 opened May 31, 2019 by NicMcPhee
@merki002
Extend Markdown output to include headers & arbitrary text
#70 opened May 31, 2019 by NicMcPhee
Add support for Markdown output
#69 opened May 31, 2019 by NicMcPhee
Use a "snackbar" or equivalent to indicate results of validation?
#66 opened May 8, 2019 by bemica
Add ~ as a negation character
#63 opened May 8, 2019 by bemica
Change true/false labels to something more visual
#61 opened May 8, 2019 by bemica
1
Fix equivication between variables in expressions and rules
#49 opened Apr 3, 2019 by bemica
2
ProTip! Exclude everything labeled bug with -label:bug.