Zulip Chat Archive
Stream: general
Topic: slim check
Frederick Pu (Dec 22 2024 at 03:20):
is slim check still in mathlib4?
Ruben Van de Velde (Dec 22 2024 at 03:48):
Is it called Plausible now?
Kyle Miller (Dec 22 2024 at 03:54):
That's Plausible
Last updated: Dec 20 2025 at 21:32 UTC