Viewing profile — mikiskk
mikiskk
HN member- Joined
- Wed, Dec 17, 2025, 3:13 AM UTC
- HN karma
- 12
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About mikiskk
No profile information was provided.
Recent public activity
-
comment
Comment #46297883
This formal verification course I took by Manos Kapritsos and Jon Howell is taught in Dafny and assumes no former experience with the subject. Most of the exercises are to some deg…