Generate PDF

排中律と De Morgan の問題の Heyting 代数の問題への差し替え #233

Triggered via pull request September 9, 2024 13:10

Seasawher

opened #767

Seasawher/issue721

Status Success

Total duration 2m 35s

Artifacts 1

pdf.yml

on: pull_request

1 warning

New version for mdbook-pdf available: 0.1.10

Produced during runtime

Name	Size
book pdf Expired	4.11 MB