Skip to content
Add pull requests and issues to projects

Added proof of interpolation lemma #142

Sign in to view logs

Added proof of interpolation lemma

Added proof of interpolation lemma #142

Triggered via pull request November 11, 2025 11:55
@franconifranconi
opened #167
Status Success
Total duration 9s
Artifacts –

add_prs_and_issues_to_project.yml

on: pull_request_target
Add PR and issues to project
6s
Add PR and issues to project
Fit to window
Zoom out
Zoom in