Fix typos related to axiomatic derivations (#409) · OpenLogicProject/OpenLogic@816a824

Triggered via push November 12, 2025 17:23

rzach

master

Status Success

Total duration 4m 43s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
open-logic-debug.pdf	3.67 MB	`sha256:4e8c36709b4652e224efe62ef78f4a2c7f72e471b89b18f145fa25047d6f6c07`