A
ACL2s
A group for projects related to the ACL2 Sedan theorem prover (ACL2s).
Read more