Samiro Discher<p>Damn, another social network not containing anything about my research interests..</p><p>Looking for challengers: <a href="https://github.com/xamidi/pmGenerator/discussions/2" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/xamidi/pmGenerator/</span><span class="invisible">discussions/2</span></a></p><p><a href="https://mastodon.social/tags/ProofTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProofTheory</span></a> <a href="https://mastodon.social/tags/HilbertSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HilbertSystems</span></a> <a href="https://mastodon.social/tags/ProofMinimization" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProofMinimization</span></a> <a href="https://mastodon.social/tags/Research" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Research</span></a> <a href="https://mastodon.social/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mastodon.social/tags/Puzzle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Puzzle</span></a> <a href="https://mastodon.social/tags/Challenge" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Challenge</span></a></p>