GitHub repository: rudi/p-mode
Primary language: Emacs Lisp
Created: 2022-11-21T15:13:20Z
Description: Emacs major mode for editing files for the P model checker