GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Overview
  • Learn
  • GitHub
  • Contact us
  • Language definition
  • Function reference guide
  • Formal verification
  • CEL
  • Terms
  • Privacy

This view

  • Original page
  • New address

GeezerVison is showing cel.dev — Tutorials: Get started with CEL | Common Expression Language

Tutorials: Get started with CEL

To get started with CEL, choose from the following tutorials:

  • CEL-Java codelab
  • CEL-C++ codelab
  • CEL-Go codelab
  • CEL for Python (cel-expr-python) codelab

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

Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License, and code samples are licensed under the Apache 2.0 License. For details, see the Google Developers Site Policies. Java is a registered trademark of Oracle and/or its affiliates.

Last updated 2026-09-04 UTC.

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.