Search Atom packages.

dafny-workbench

Workbench for the program verification tool Dafny.
Alchiadus
326

linter-verification

Linter package with support for the program verification tools Dafny, Chalice and Boogie.
Alchiadus
390

language-dafny

Dafny language support in Atom.
Alchiadus
663