Hacker News new | ask | show | jobs
by sriku 185 days ago
Am working on rewriting an imperative programming course to use Dafny to present verified algorithms and data structures.
1 comments
fithisux 184 days ago
Please post HN when you finish.
link