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

Triggered via pull request October 31, 2025 20:38

opened #409

FnControlOption:patch-2

Status Success

Total duration 6m 23s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size	Digest
open-logic-debug.pdf Expired	3.67 MB	`sha256:bad7042b5e945c18dc7396604c9f87b80e6e1fc14ea6d9402a63c4d12cbeebc7`