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

Jump to bottom

Add Metamath 100 to set.mm repository #4402

Open

BTernaryTau opened this issue Nov 18, 2024 · 0 comments

Contributor

BTernaryTau commented Nov 18, 2024

This is a follow-up to #4282. I noticed that while I can see the Metamath 100 project, it does not appear under the Projects tab for this repository like the iset.mm project does. Adding the Metamath 100 project to the repository should make it easier to find.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment