Skip to content
Build

Adding description of theorems in parallel.lean and perpendicular.lean #597

Sign in to view logs

Adding description of theorems in parallel.lean and perpendicular.lean

Adding description of theorems in parallel.lean and perpendicular.lean #597

Triggered via pull request January 17, 2024 15:19
@Liang-Xiao-pkuLiang-Xiao-pku
opened #293
Liang-Xiao-pku:master
Status Success
Total duration 4m 16s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yaml

on: pull_request
build
4m 7s
build
Fit to window
Zoom out
Zoom in