Pinned Repositories
hatrac
HATRAC -- High-Assurance Teaching Resources in ACL2 Code
HATLAB's Repositories
hatlab/hatrac
HATRAC -- High-Assurance Teaching Resources in ACL2 Code
HATRAC -- High-Assurance Teaching Resources in ACL2 Code
HATRAC -- High-Assurance Teaching Resources in ACL2 Code