id          = "acl2"
name        = "ACL2"
homepage    = "https://acl2.org/"
description = "ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models."
executables = ["acl2"]

[dotfiles]

# https://acl2.org/doc/index.html?topic=ACL2____ACL2-CUSTOMIZATION — ACL2
# loads acl2-customization.lsp/.lisp from the user's home when no connected-book
# directory copy exists, and also loads ~/acl2-init.lsp into raw Lisp at launch.
paths = [
  "~/acl2-customization.lsp",
  "~/acl2-customization.lisp",
  "~/acl2-init.lsp",
]
secret = []