Update cauchy.tex · OpenLogicProject/OpenLogic@e607edc

Triggered via pull request November 11, 2025 16:23

timbutton

opened #413

timbutton:patch-3

Status Success

Total duration 5m 19s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size	Digest
open-logic-debug.pdf	3.67 MB	`sha256:41e8dd70d5c2bff0ca91255c191ebc92cbd008e77c6bdb99d3aeb20c1ae490b9`