Here is a list of all related documentation pages:

Architecture
Setup
Tool Guides
LLZK Language Specification
Contribution Guide
Contributor Covenant Code of Conduct
Maintenance Guide
LLZK IR Dialects
Backends
R1CS Backend
SMT Backend
PCL Backend
ZKLean Backend
WTNS witness output
Todo List