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