Skip to content
Lean (build)

𝜌 as attribute and global 𝛷 extension #101

Sign in to view logs

𝜌 as attribute and global 𝛷 extension

𝜌 as attribute and global 𝛷 extension #101

Triggered via pull request March 15, 2024 11:57
@eyihluyceyihluyc
opened #28
rho-Phi-extension
Status Success
Total duration 28s
Artifacts –

lean.yml

on: pull_request
Build
19s
Build
Fit to window
Zoom out
Zoom in