Namdak Tonpa

Моє імʼя Максим Сохацький (Namdak Tönpa). Я PhD студент та старший науковий дослідник факультету прикладної математики Національного технічного університету України «Київський політехнічний інститут імені Ігоря Сікорського».Мої нинішні наукові інтереси зосереджені на теорії типів та формалізації математики. Мені подобається писати теореми в Anders і cubicaltt, але я знаю як влаштовані інші прувери, де можна займатися HoTT: Agda, Lean, Coq.

Free

By chosing this Tier you recognize Maxim as Lambdagarbha Hacker and donate money to full-stack specification and implementation <a href="https://n2o.dev" rel="nofollow noopener" target="_blank">https://n2o.dev</a> and enterprise platform built on it <a href="https://erp.uno." rel="nofollow noopener" target="_blank">https://erp.uno.</a>

Lambdagarbha

By chosing this Tier you recognize Maxim as Applied Mathematician and donate money to formalization of mathematics <a href="https://groupoid.space" rel="nofollow noopener" target="_blank">https://groupoid.space</a> and formal system runtime <a href="https://axio.groupoid.space" rel="nofollow noopener" target="_blank">https://axio.groupoid.space</a>

Grothendieck

By chosing this Tier you recognize Maxim as Purity Teacher and donate money for tibetan studies: <a href="https://longchenpa.guru." rel="nofollow noopener" target="_blank">https://longchenpa.guru.</a>

Recent posts by Namdak Tonpa