Skip to content

Mathlib 由来の警告があるので、警告があったらエラーにするのを一時的にやめる #295

Mathlib 由来の警告があるので、警告があったらエラーにするのを一時的にやめる

Mathlib 由来の警告があるので、警告があったらエラーにするのを一時的にやめる #295

sync_exercise

succeeded Oct 15, 2024 in 47s