Add Mathematics in Lean session at ICMS #125
Triggered via pull request
January 19, 2026 13:43
RemyDegenne
RemyDegenne
opened
#771
Status
Success
Total duration
7s
Artifacts
–
message_zulip_on_prs.yml
on: pull_request_target
run-script
3s