xamidi / metamath-website-seed

Starting seed files for metamath public website. The website starts with these and then uses generation scripts to generate other files from the .mm files

Welcome! 👋

I am Samiro, a German mathematician in theoretical computer science working mostly independently on deontic logic and proof theory, currently focussing on proof minimization in Hilbert systems. I studied and graduated in computer science at RWTH Aachen University, which now supports some of my work in the form of computing time projects.

• 🔭 Do you see the beauty in Hilbert systems? Then you might want to join my proof minimization challenge! ✨
• 👯 I am involved with Metamath's mmsolitaire project and its shortest known proofs database.
• 💫 I am enthusiastic about modern and well-written C++, especially in the context of high-performance computing.
• 💬 Feel free to contact me about any of my interests mentioned here.
• 🚫 I do not jump on hype trains for languages that compromise freedom, beauty and productivity for safety.
• 🔥 Some scammers are attempting to defame me, angered by things like this repository. For example, u/xamidi on Reddit is not my account. All claims that I would engage in irrational behavior like femboyism, wokism or pro-war activism should be considered lies.
• 🤔 Having Asperger's syndrome, I am neither flexible in my interests, nor willing to compromise my areas of work for money, prestige, or a career. So until I find people with similar interests, I will keep working on my own projects in solitude.