CS 81 Resources

• Errata for the HR Book

• Tutorial Questions for the HR Book

• JAPE (proof tool)