Skip to content

A major Emacs mode for VeriFast proof development (*.gh files)

License

Apache-2.0, MIT licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT
Notifications You must be signed in to change notification settings

necto/verifast-mode

Repository files navigation

A simple VeriFast mode for Emacs.

To use it, you'll need just the verifast-mode.el file. Open it in your Emacs and evaluate it (M-x eval-buffer), than open the file you want to edit (verifast/bin/list.gh) and type verifast-mode if for some reason emacs did not enable it automatically.

To run tests you'll need Emacs 25 and the assess ert extension.

About

A major Emacs mode for VeriFast proof development (*.gh files)

Topics

Resources

License

Apache-2.0, MIT licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published