Formal version of Furstenberg's infinitude of primes, fix blueprint t… · mo271/FormalBook@9704e03

Triggered via push November 12, 2024 15:30

mo271

main

Status Success

Total duration 10m 30s

Artifacts 1

blueprint.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	34.6 MB	`sha256:285eb79f32c5bb8170a7ffce932bf2d923c8d8cec39c64729cda0db5e3d7500a`