gollum.space
RU
When I got tired of sculpting molds in react and decided to switch to formal verification
vzhilin
League of programmers
Source
Mathematics
Mathematical logic
Programming
v20240901