verifast
There are 2 repositories under verifast topic.
necto/verifast-mode
A major Emacs mode for VeriFast proof development (*.gh files)
VisualizeTheWorld/vim-verifast
Verifast syntax highlighting for vim
There are 2 repositories under verifast topic.
A major Emacs mode for VeriFast proof development (*.gh files)
Verifast syntax highlighting for vim