A gentle introduction to using Rosette for program verification.
Primary LanguageRacket
This repository is not active