Skip to content

Issues: metamath/metamath-exe

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

Instructions for compilation are a little confusing: docs need to be updated
#173 opened May 8, 2024 by frogeyedpeas
1
1
bug check 2103
#169 opened Nov 10, 2023 by GinoGiotto
bug check 1710
#168 opened Nov 10, 2023 by GinoGiotto
Minimizer doesn't find simple shortening
#165 opened Oct 2, 2023 by GinoGiotto
1
3
segfaults on 64-bit windows
#164 opened Sep 28, 2023 by digama0
1
Only one typesetting comment ($t) is allowed per database
#161 opened Sep 12, 2023 by MostAwesomeDude
2
Check tokens in math strings embedded in comments
#159 opened Aug 2, 2023 by tirix
warnings caused by comments
#158 opened Jul 27, 2023 by benjub
9
bug check 1717
#156 opened Jul 20, 2023 by GinoGiotto
Proposal: add option for axiom usage minimization
#155 opened Jul 16, 2023 by GinoGiotto
1
Incorrect proof size
#137 opened May 10, 2023 by GinoGiotto
6
Formatting the code
#123 opened Jan 14, 2023 by benjub
3
Multiple whitespace before and after keywords
#99 opened Sep 27, 2022 by benjub
is there a test for non unique label
#97 opened Aug 13, 2022 by glacode
1
Formatting bug
#93 opened Jul 15, 2022 by benjub
6
Treatment of the inclusion command
#85 opened May 20, 2022 by benjub
7
Bug with self-inclusion (with probably easy fix)
#81 opened Apr 4, 2022 by benjub
6
Broken link in README.TXT
#69 opened Feb 11, 2022 by benjub
1
Review
#40 opened Jan 10, 2022 by wlammen
9
Remove tools mode?
#31 opened Jan 5, 2022 by digama0
15
Only distribute metamath sources via GitHub
#19 opened Dec 30, 2021 by wlammen
6
Code cleanup
#17 opened Dec 30, 2021 by digama0
5 of 38 tasks
12
configure.ac
#16 opened Dec 30, 2021 by benjub
4
TODO: speed up regeneration of the "discouraged" files
#12 opened Dec 27, 2021 by benjub
10
"SHOW STATEMENT <label-match> /(ALT_)HTML|TEX"
#11 opened Dec 26, 2021 by benjub
ProTip! Add no:assignee to see everything that’s not assigned.