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
Using general profile