Fix typos related to axiomatic derivations · OpenLogicProject/OpenLogic@dfaf322

Triggered via pull request November 1, 2025 02:41

synchronize #409

FnControlOption:patch-2

Status Success

Total duration 5m 39s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size	Digest
open-logic-debug.pdf	3.67 MB	`sha256:1b24e497d2c26a33b0806d082690f90771a27142975b36dfd71263df1ba7975c`