Skip to content
Check Imports

prove a bunch in sigma.lean #1990

Sign in to view logs

prove a bunch in sigma.lean

prove a bunch in sigma.lean #1990

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

check-imports.yml

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