You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is a place to engage in thoughtful conversation regarding this repository and closely related topics – such as its applications, mathematical foundations, and aspirations. This includes the mmsolitaire project and its pmproofs.txt database.
Feel free to open new discussions for your questions, ideas, and other contributions.
If you would prefer a closed conversation, you can also contact me at samiro.discher@rwth-aachen.de.
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
👋 Welcome!
This is a place to engage in thoughtful conversation regarding this repository and closely related topics – such as its applications, mathematical foundations, and aspirations. This includes the mmsolitaire project and its pmproofs.txt database.
Feel free to open new discussions for your questions, ideas, and other contributions.
If you would prefer a closed conversation, you can also contact me at samiro.discher@rwth-aachen.de.
Beta Was this translation helpful? Give feedback.
All reactions