Erik Meijer
@headinthebox
Joined November 2011
0 Following 37.4K Followers
If you are even remotely interested in functional programming, or are curious about all this scary talk about formal verification, take a peek at these slides about Lean
Most Popular Users
