Introduce timestamp/duration as first class types in verifier. Add arithmetic axioms for the two types along with type conversions · cel-expr/cel-java@aceab95

9s

4m 31s

3m 21s

8m 1s

Navigation Menu