Lean Action CI

Remove unused theorems and Examples.lean #286

Sign in to view logs

Triggered via pull request January 16, 2026 15:02

jessealama

opened #55

one-instruction

Status Success

Total duration 2m 55s

Artifacts –

lean_action_ci.yml

on: pull_request