Registered user since Mon 8 Dec 2025
Name:Pavel Sokolov
Country:Russia
Affiliation:HSE University
GitHub: https://github.com/TurtlePU
Research interests:Functional Programming, Interactive Theorem Provers, Homotopy Type Theory, Constructive Mathematics
Contributions
POPL 2026-profile
View general profile
View general profile