Username:
kaufm...@cs.utexas.edu
Starred developers:
None
| Projects |
|---|
| Role | Project | Summary |
|---|---|---|
| Owner | acl2-books | Improving Libraries for the ACL2 Theorem Prover |
| Projects |
|---|
| Role | Project | Summary |
|---|---|---|
| Owner | acl2-books | Improving Libraries for the ACL2 Theorem Prover |