Back to pull request #1212

[lambda] Boehm_out_lemma (Proposition 10.3.7 (i) [1, p.248]) #209

Sign in to view logs

Triggered via pull request March 14, 2024 08:13

binghe

opened #1212

binghe:Boehm_out_lemma

Status Success

Total duration 59m 9s

Artifacts –

docker-ci-for-pr.yml

on: pull_request