Skip to content
Lean Action CI

Added blueprints for bounded+unbounded spectral theorems #523

Sign in to view logs

Added blueprints for bounded+unbounded spectral theorems

Added blueprints for bounded+unbounded spectral theorems #523

Triggered via push August 26, 2026 11:36
@KellyJDavisKellyJDavis
pushed 6dd1546
numina/aqft-in-lean
Status Success
Total duration 5m 37s
Artifacts –

lean_action_ci.yml

on: push
build
5m 33s
build
Fit to window
Zoom out
Zoom in