Explore Events
Sign In
Andrey Lyashin
@andruiman
Mathematician and formal methods enthusiast, cofounder of
pruvendo.com
Joined November 2023
2
Hosted
31
Attended
