replaced proofs with mathse link · pi-base/data@f7a2ad5

Triggered via push May 28, 2025 01:42

S29-fixed-point

Status Success

Total duration 19s

Artifacts 1

compile.yml

on: push

Produced during runtime

Name	Size	Digest
bundle.json Expired	193 KB	`sha256:5e84f61ddeb69ccfb8a857334b198aa6505dfd4cc27db13e07e7bd3564f33321`