FAQ

How do I “steer” ACL2/ACL2s ?

People have wanted to know how to steer ACL2 more precisely. Often the best and most useful advice is to try and “proof-sketch” your conjecture ahead of time...

How do we come up with a project idea?

Some students had expressed trouble coming up with project ideas. This is perfectly reasonable. In practice, proofs often come up “by need.” This is to say t...