Back to search
a vim plugin for Dafny, a verified programming language.
Stars
21
Forks
5
Watchers
21
Open Issues
2
Overall repository health assessment
No package.json found
This might not be a Node.js project
added missing comma in installation instructions (#2; thanks @vesalvojdani).
8c55e16View on GitHubadded backup and vim swp files to gitignore.
7549f90View on GitHubadded syntax highlighting for new keyword "inductive".
fd2361fView on GitHub