.github/workflows/lean_build.yml

Furstenberg's proof of infinitude of primes #281

Sign in to view logs

Re-run triggered November 12, 2024 15:03

mo271

#77

luigi-massacci:furstenberg_primes

Status Success

Total duration 2m 24s

Artifacts –

lean_build.yml

on: pull_request