CI

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

Sign in to view logs

Triggered via pull request September 9, 2024 13:10

Seasawher

opened #767

Seasawher/issue721

Status Success

Total duration 1m 33s

Artifacts –

ci.yml

on: pull_request