Skip to content

mathlib4-tactics のリンク変更 #1090

mathlib4-tactics のリンク変更

mathlib4-tactics のリンク変更 #1090

Triggered via pull request October 17, 2024 06:25
Status Success
Total duration 1m 3s
Artifacts

deploy.yml

on: pull_request
Fit to window
Zoom out
Zoom in