HATRAC

High Assurance Teaching Resources in ACL2 Code.

084   verified theorems (and counting).

Beginner Intermediate Advanced