fix: expose Int* definitions for simprocs and decide (fixes #10546)
#13756
Triggered via pull request
October 1, 2025 13:35
leanprover-community-bot
leanprover-community-bot
labeled
#10631
Status
Skipped
Total duration
4s
Artifacts
–