Zulip Chat Archive
Stream: mathlib4
Topic: Small Scale Reflection
Nicolas Rolland (Aug 17 2024 at 17:43):
Will Small Scale Reflection be used in Mathlib ?
Mario Carneiro (Aug 17 2024 at 18:54):
Unlikely, but see #general > Small Scale Reflection for the Working Lean user
Last updated: Dec 20 2025 at 21:32 UTC