georgeee

Computer science, functional programming, formal verification, finance, literature, philosophy, classical music

@MinaProtocolAndorra

•