Skip to content
LISA CI

Extract definitions/theorems of functions, add Sigma and Pi (#222) #829

Sign in to view logs

Extract definitions/theorems of functions, add Sigma and Pi (#222)

Extract definitions/theorems of functions, add Sigma and Pi (#222) #829

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
4m 32s
4m 32s