GitHub - hatlab/hatrac: HATRAC -- High-Assurance Teaching Resources in ACL2 Code

Name		Name	Last commit message	Last commit date
Latest commit History 117 Commits
Basiclex		Basiclex
Cryptography		Cryptography
DeMorgans		DeMorgans
Fibonacci		Fibonacci
Inner Product and Similarity		Inner Product and Similarity
Linear Encoding		Linear Encoding
Linear Regression		Linear Regression
Min and Max		Min and Max
Mirror and Depth		Mirror and Depth
Misc		Misc
Permutations		Permutations
Rac Rdc and Snoc		Rac Rdc and Snoc
Split Blocks and Concat		Split Blocks and Concat
Towers of Hanoi		Towers of Hanoi