verus-lang/verus-mode.el

Support for Verus programming in Emacs

Emacs LispStars 8Forks 1Watchers 8Open issues 5License BSD 3-Clause "New" or "Revised" License

Details

仓库信息

Ownerverus-lang

Homepage—

Last pushed2025-11-13

Last updated2025-12-14

Issues fetched at—

Community at a glance