# GET STARTED

- [Documentation](/cryptol/get-started/documentation.md)
- [Open Source](/cryptol/get-started/open-source.md)
- [Download](/cryptol/get-started/download.md)