CI

追記:帰納型とは何か, Lean の型システムの概略について #763

Sign in to view logs

Triggered via pull request August 31, 2024 21:18

Seasawher

opened #731

Seasawher/issue571

Status Success

Total duration 1m 34s

Artifacts –

ci.yml

on: pull_request