Add basic overview to model theory section (#65) · OpenLogicProject/OpenLogic@26b4b58

Triggered via pull request March 30, 2025 16:09

opened #391

Status Success

Total duration 5m 6s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size	Digest
open-logic-debug.pdf Expired	3.8 MB	`sha256:592ef3bac92c04943073bd38414656fe74a6c054a11f4103ed16815692bc08ba`