acl2
acl2/acl2
Logic and programming language in which you can model computer systems
Catalog source
github.com/acl2/acl2
1 public CLI tools. The catalog syncs source data and can lag behind the upstream project.
Open upstream sourceCatalog source
1 public CLI tools. The catalog syncs source data and can lag behind the upstream project.
Open upstream source