whinvik Karma 604 Created 5 years ago About Hi, I am Vikram. I like building stuff. Reach me at vikram.singh.work@proton.me Recent Submissions 1. ▲ Introduction to Formal Methods (Part 2): From Spec to Code (vikramsg.github.io) 1 point · 3 months ago · 0 comments All submissions on HN · View profile on HN