Skip to content
Check Imports

prove a bunch in sigma.lean #1991

Sign in to view logs

prove a bunch in sigma.lean

prove a bunch in sigma.lean #1991

Triggered via pull request August 5, 2026 14:31
@MrBrain295MrBrain295
synchronize #686
MrBrain295:patch-1
Status Success
Total duration 12s
Artifacts –

check-imports.yml

on: pull_request
Check Library File Imports
7s
Check Library File Imports
Fit to window
Zoom out
Zoom in