Skip to content
Build LaTeX document

Fix typos related to Second-order Logic and Lindström's Theorem #150

Sign in to view logs

Fix typos related to Second-order Logic and Lindström's Theorem

Fix typos related to Second-order Logic and Lindström's Theorem #150

Triggered via pull request December 22, 2025 21:44
@FnControlOptionFnControlOption
opened #416
FnControlOption:sol
Status Success
Total duration 5m 39s
Artifacts 1

build.yml

on: pull_request
build_latex
5m 35s
build_latex
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
open-logic-debug.pdf
3.67 MB
sha256:5b2fd1a79a5c3cca301b3c3805eb82af24908b730664d69eacb358683e44fb23