Skip to content
CI

Create Godel.lean file for Beta Function Lemma. Removed from Arith. Could you please remove the import from Vorspeil? #19

Sign in to view logs

Create Godel.lean file for Beta Function Lemma. Removed from Arith. Could you please remove the import from Vorspeil?

Create Godel.lean file for Beta Function Lemma. Removed from Arith. Could you please remove the import from Vorspeil? #19

Triggered via pull request December 5, 2023 05:41
@hmonroehmonroe
opened #5
master
Status Success
Total duration 1m 24s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
build
1m 14s
build
Fit to window
Zoom out
Zoom in