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: May 02 2025 at 03:31 UTC