necto/verifast-mode

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

语言：Emacs Lisp · GitHub 星标：2 · Fork：0

话题：elisp · emacs-mode · verifast

在 GitHub 上查看原仓库