readme.md

RackeTutes is a tutorial series for Racket and Rosette solver-aided programming language to promote "Secure and validated" hardware designs with interactive and human-readable proofs.

1. Setup
2. Racket101
3. Rosette101
4. Veri(fy)log
5. Serval