Yan Yablonovskiy

human_in_exile@mathstodon.xyz

<p>A guy who knows too much about Lean 4 and type theory / maths for his standing in life, with a meaningless such PhD to boot. <a href="https://github.com/YanYablonovskiy" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">github.com/YanYablonovskiy</span><span class="invisible"></span></a> . No AI use of any kind here or any of my work (unless it is coding , maybe , and explicitly stated..has not happened yet in a meaningful sense).</p>