whinvik

650 karmajoined July 20, 2020On HN

Hi, I am Vikram. I like building stuff. Reach me at vikram.singh.work@proton.me

Recent submissions

Introduction to Formal Methods (Part 2): From Spec to Code vikramsg.github.io
1whinvik7modiscuss
Introduction to Formal Methods – Part 1 vikramsg.github.io
3whinvik8modiscuss

All submissions and comments on Hacker News.