Skip to content
.github/workflows/zulip_emoji_awaiting_author.yaml

feat: simproc for computing Finset.Ixx of natural numbers #9078

Sign in to view logs

feat: simproc for computing Finset.Ixx of natural numbers

feat: simproc for computing Finset.Ixx of natural numbers #9078

Triggered via pull request February 25, 2025 14:49
@leanprover-community-bot-assistantleanprover-community-bot-assistant
unlabeled #22039
finset_icc_nat_simproc
Status Skipped
Total duration 2s
Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request
set_pr_emoji
0s
set_pr_emoji
Fit to window
Zoom out
Zoom in