Login
From:
bytes.zone
(Uncensored)
subscribe
Do I want to learn Dafny?
https://bytes.zone/micro/dafny-001/
links
backlinks
Roast topics
Find topics
Find it!
So I recently learned about Dafny. From my notes on it, I summarized it as:
