Claude Code Review

Add Lean 4 showcase proofs for issue 452 constructor lowering #230

Sign in to view logs

This workflow is awaiting approval from a maintainer in #563

Triggered via pull request March 18, 2026 06:03

peter941221

opened #563

peter941221:add-lean-issue-452-showcase

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #563

claude-code-review.yml

on: pull_request