whinvik

Karma: 556
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 · 15 days ago · 0 comments
2. ▲ Introduction to Formal Methods – Part 1 (vikramsg.github.io) 3 points · 23 days ago · 0 comments

All submissions on HN · View profile on HN