I am a student with huge passion to programming, especially for C++
-
BlockchainWares
- /home/raidg/
Michael
sp1ff
I hack in C++, LISP, Rust, Coq & Idris. I think a lot about writing provably correct code.
Portland, OR