Sofia, Bulgaria

Stream: Geographic locality

[Alexander Moravski]

Hello there! Just finishing up my bachelor's, with an interest in functional analysis. Been playing around with formalisation on and off for a year, want to dive deeper this summer.