Adding evil keybindings

[lenianiva]

Is it possible to bundle evil keybindings into this package? I made some keybindings for the existing commands (doomemacs)

(map! :after lean4-mode
	:localleader
	:map lean4-mode-map
	:desc "Execute"               "R" #'lean4-execute
	:desc "Execute in standalone" "r" #'lean4-std-exe
	:desc "Toggle info buffer"    "t" #'lean4-toggle-info
	(:prefix ("e" . "Error")
		:desc "Previous error"      "p" #'flycheck-previous-error
		:desc "Next error"          "n" #'flycheck-next-error
		:desc "List error"          "l" #'flycheck-list-errors
		)
	:desc "Lake build"            "b" #'lean4-lake-build
	(:prefix ("p" . "leanpkg")
		:desc "Test"                "t" #'lean4-leanpkg-test
		:desc "Build"               "b" #'lean4-leanpkg-build
		:desc "Configure"           "c" #'lean4-leanpkg-configure
		)
	)