Tutorials: Get started with CEL
To get started with CEL, choose from the following tutorials:
Formal verification
To learn how to mathematically prove the correctness of CEL expressions and policies:
- Securing the agentic era: Introducing formal verification for CEL (Google Open Source blog post)
- CEL Java Verifier CLI and REPL guide