Catalog source

github.com/acl2/acl2

1 public CLI tools. The catalog syncs source data and can lag behind the upstream project.

Logic and programming language in which you can model computer systems