Update recursion.tex · OpenLogicProject/OpenLogic@923e359

Triggered via push November 12, 2025 17:24

rzach

master

Status Success

Total duration 5m 16s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
open-logic-debug.pdf	3.67 MB	`sha256:764363f0eee9e2f69f734828e61e4053da2eb8d06ea426b299d0ce296563f577`