Clone the repository and run the following command:
lake build
Hyper-safety reasoning for provably realisable program exploits.