Lean Proofs & Differential Tests

feat(camera): generate missing Camera2 APIs #15

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lean 4 Proofs	13s
Differential Tests (Lean <-> Go)	43s
	56s