Nikolai Kudasov

1. Formalizing the ∞-Categorical Yoneda Lemma
   2023/09/15 by Nikolai Kudasov, Kudasov, Nikolai, Emily Riehl +3 · 3 citations
   Mathematics · #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic in Computer Science (cs.LO)
2. Rzk: a Proof Assistant for Synthetic ∞-Categories
   2026/07/13 by Nikolai Kudasov, Violetta Sim, Benedikt Ahrens · 1 voice
   #cs.LO #cs.PL #math.CT
3. Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization
   2026/07/28 by Nikolai Kudasov
   #cs.PL #cs.LO