Zulip Chat Archive
Stream: general
Topic: Code for olean
Daniel Weber (Dec 03 2024 at 10:35):
Where in the code is olean handling (reading/writing) implemented? I couldn't find it
Kim Morrison (Dec 03 2024 at 11:14):
Lean.saveModuleData / Lean.readModuleData
Daniel Weber (Dec 03 2024 at 14:32):
Thanks
Last updated: May 02 2025 at 03:31 UTC