feat(formal): add some modes for formal verification/proof tools

core/me-modules.el

@@ -34,6 +34,7 @@
     ;; me-embedded
     me-extra
     me-files
+    me-formal
     ;; me-fun
     me-latex
     ;; me-lifestyle

modules/me-formal.el

@@ -0,0 +1,24 @@
+;;; me-formal.el --- Formal verification tools and languages -*- lexical-binding: t; -*-
+
+;; Copyright (C) 2022-2023  Abdelhak Bougouffa
+
+;; Author: Abdelhak Bougouffa (concat "abougouffa" "@" "fedora" "project" "." "org")
+
+;;; Commentary:
+
+;;; Code:
+
+(use-package alloy-mode
+  :straight (:host github :repo "dwwmmn/alloy-mode")
+  :mode "\\.als\\'")
+
+(use-package proof-general
+  :straight t
+  :init
+  ;; `proof-general' sets `coq-mode' for ".v" files. However, I prefer use `verilog-mode' for ".v" files by default.
+  (setq auto-mode-alist (delete (rassoc 'coq-mode auto-mode-alist) auto-mode-alist)))
+
+
+(provide 'me-formal)
+
+;;; me-formal.el ends here