Skip to content
Lean (build)

Add proofs of equivalence of closures of regular and parallel reductions #41

Sign in to view logs

Add proofs of equivalence of closures of regular and parallel reductions

Add proofs of equivalence of closures of regular and parallel reductions #41

Triggered via pull request January 24, 2024 15:33
@eyihluyceyihluyc
opened #11
equivalence-of-closures
Status Success
Total duration 1m 55s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lean.yml

on: pull_request
Build
1m 43s
Build
Fit to window
Zoom out
Zoom in