Skip to content

Issues: isabelle-prover/conventions

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

ML documentation enhancement New feature or request
#7 opened May 8, 2020 by maxhaslbeck
problem with bundles for notation feeedback Feedback and thoughts
#6 opened May 8, 2020 by maxhaslbeck
ProTip! Updated in the last three days: updated:>2024-11-14.