Skip to content

Issues: nsbgn/judge

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

25 Open 9 Closed
25 Open 9 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

Implement parallelism
#34 opened Mar 1, 2018 by nsbgn
Fix duplicate subterms performance
#32 opened Jan 18, 2018 by nsbgn
General cleanup behind-the-scenes
#29 opened Jan 16, 2018 by nsbgn
1
Handle failure properly behind-the-scenes
#28 opened Jan 16, 2018 by nsbgn
1
Improve monadic code behind-the-scenes
#27 opened Jan 16, 2018 by nsbgn
Testing behind-the-scenes
#26 opened Jan 16, 2018 by nsbgn
Make LaTeX output more robust behind-the-scenes
#25 opened Jan 16, 2018 by nsbgn
Sanity checks
#24 opened Jan 16, 2018 by nsbgn
Make a typeclass for Provers behind-the-scenes
#23 opened Jan 16, 2018 by nsbgn
Simplify restrictions feature performance
#21 opened Jan 16, 2018 by nsbgn
Review tableaux cosmetic feature
#20 opened Jan 16, 2018 by nsbgn
Analysis of tableaux feature
#19 opened Jan 16, 2018 by nsbgn
Make forgetful binding explicit feature
#18 opened Jan 16, 2018 by nsbgn
Remove surplus generated variable assignments behind-the-scenes performance
#17 opened Jan 16, 2018 by nsbgn
Make Unicode output optional feature
#16 opened Jan 16, 2018 by nsbgn
Delayed instantiation of variables feature performance
#15 opened Jan 16, 2018 by nsbgn
Awareness of operator precedence in output cosmetic feature
#13 opened Jan 16, 2018 by nsbgn
Shorthand specification of terms in YAML cosmetic feature
#11 opened Jan 16, 2018 by nsbgn
Distinguish schematic and literal variables question
#10 opened Jan 16, 2018 by nsbgn
Warnings for overlapping or inexhaustive rules feature
#9 opened Jan 16, 2018 by nsbgn
1
Remove hardcoding of closure question
#8 opened Jan 16, 2018 by nsbgn
1
Add a CITATION file
#7 opened Jan 16, 2018 by nsbgn
Remove hardcoding of primitive formulas feature priority:high
#4 opened Jan 16, 2018 by nsbgn
1
Merge logical systems feature priority:high
#3 opened Jan 16, 2018 by nsbgn
Support more types of logical systems complexity:high feature
#1 opened Jan 16, 2018 by nsbgn
1
ProTip! Updated in the last three days: updated:>2024-12-08.