Skip to content
.github/workflows/main.yml

A few lemmas for the formalizations of connections between small and connected types #2971

Sign in to view logs

A few lemmas for the formalizations of connections between small and connected types

A few lemmas for the formalizations of connections between small and connected types #2971

Triggered via pull request July 16, 2024 23:20
@IanRay11IanRay11
synchronize #294
IanRay11:SmallTypesLemma
Status Skipped
Total duration 2s
Artifacts –

main.yml

on: pull_request
Typechecking
0s
Typechecking
Fit to window
Zoom out
Zoom in