4 ms·
Am working on rewriting an imperative programming course to use Dafny to present verified algorithms and data structures.
by sriku 10mo ago
Am working on rewriting an imperative programming course to use Dafny to present verified algorithms and data structures.
- fithisux 10mo agoPlease post HN when you finish.