> For the complete documentation index, see [llms.txt](https://docs.redefine.dev/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.redefine.dev/welcome-to-redefine.md).

# Welcome to Redefine

- [About](https://docs.redefine.dev/welcome-to-redefine/about.md)
- [Quick Start ⏱️](https://docs.redefine.dev/welcome-to-redefine/quick-start.md)
- [Verification Examples](https://docs.redefine.dev/welcome-to-redefine/quick-start/verification-examples.md)
- [How Does It Work? 🔬](https://docs.redefine.dev/welcome-to-redefine/how-does-it-work.md)