Skip to content

Issues: olligobber/ProofCheck

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

Export fails with certain symbols bug Something isn't working
#35 opened Apr 11, 2023 by olligobber
Keyboard controls for writing proofs good first issue Good for newcomers new feature A feature for convenience or new behaviour
#34 opened Oct 2, 2021 by olligobber
Stop floating windows going off the screen bug Something isn't working
#33 opened Sep 18, 2021 by olligobber
Add delete button enhancement New feature or request new feature A feature for convenience or new behaviour
#32 opened Sep 18, 2021 by olligobber
Allow dragging file to import enhancement New feature or request
#31 opened Aug 28, 2021 by olligobber
Use numbers to copy formulas from previous lines enhancement New feature or request new feature A feature for convenience or new behaviour
#30 opened Mar 25, 2021 by olligobber
Add dark theme enhancement New feature or request visual Affects appearance or ease of use
#29 opened Mar 25, 2021 by olligobber
Add syntax highlighting enhancement New feature or request visual Affects appearance or ease of use
#28 opened Mar 25, 2021 by olligobber
1
Make undo and redo more efficient enhancement New feature or request optimisation Makes the app faster or more efficient
#27 opened Mar 21, 2021 by olligobber
Add different systems of logic enhancement New feature or request new feature A feature for convenience or new behaviour
#26 opened Mar 4, 2021 by olligobber
@olligobber
Add tests enhancement New feature or request good first issue Good for newcomers
#25 opened Mar 4, 2021 by olligobber
1
Add export to LaTeX enhancement New feature or request new feature A feature for convenience or new behaviour
#20 opened Apr 8, 2019 by olligobber
Make pressing outside a menu box close it enhancement New feature or request
#18 opened Mar 11, 2019 by olligobber
App won't load with cookies disabled bug Something isn't working
#17 opened Jan 29, 2019 by olligobber
1
Add verification of custom sequents enhancement New feature or request new feature A feature for convenience or new behaviour
#11 opened Jul 16, 2018 by olligobber
1
Improve Parse Errors for common mistakes enhancement New feature or request
#8 opened Jun 10, 2018 by olligobber
1
Add instructions enhancement New feature or request
#7 opened Jun 10, 2018 by olligobber
ProTip! Adding no:label will show everything without a label.