Alex Verkhovsky 6c36990123 docs: refocus getting started tutorials on activation (#2653) ...

* docs: add Getting Deeper Django tutorial

* docs: add spec-backed Django tutorial

* docs: replace Getting Started with small exercises

* docs(tutorials): add closing CTA to getting deeper

* docs(tutorials): remove redundant hello world exercise

* docs: rewrite welcome page around conversion proofs

2026-08-01 00:08:52 -05:00

..

getting-deeper.md

docs: refocus getting started tutorials on activation (#2653)

2026-08-01 00:08:52 -05:00

getting-started.md

docs: refocus getting started tutorials on activation (#2653)

2026-08-01 00:08:52 -05:00