Lean 4 Bundle - GUI Test Screenshots

Latest screenshots from Tier 6 Playwright GUI tests on main. Click any thumbnail for the full-size image.

Linux x64
Linux arm64
macOS
Windows
Linux x64 infoview goals
Infoview goals
Linux arm64 infoview goals
Infoview goals
macOS infoview goals
Infoview goals
Windows infoview goals
Infoview goals
Linux x64 diagnostics
Live diagnostics
Linux arm64 diagnostics
Live diagnostics
macOS diagnostics
Live diagnostics
Windows diagnostics
Live diagnostics
Linux x64 project
Project exercise
Linux arm64 project
Project exercise
macOS project
Project exercise
Windows project
Project exercise