Generate assets for 4.15 toolchain by 1. Execute instructions in the extractor [README](https://github.com/KellyJDavis/lean-explore/blob/main/extractor/README.md) 2. Execute instructions in the scripts [README](https://github.com/KellyJDavis/lean-explore/blob/main/scripts/README.md) 3. `tar -czvf data.tar.gz data` to ready it for deployment
Generate assets for 4.15 toolchain by
tar -czvf data.tar.gz datato ready it for deployment