Skip to content

Top New Best Ask Show Jobs

whinvik

591 karmaJoined July 20, 2020252 submissions

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

whinvik | Better HN

Recent submissions

1

Introduction to Formal Methods (Part 2): From Spec to Code (opens in new tab)

(vikramsg.github.io)

1whinvik2mo ago0

2

Introduction to Formal Methods – Part 1 (opens in new tab)

(vikramsg.github.io)

3whinvik2mo ago0