Zulip Chat Archive
Stream: lean4 dev
Topic: How to infer type post-`runFrontend`
Notification Bot (Jul 25 2023 at 09:43):
This topic was moved to #lean4 > How to infer type post-runFrontend by Sebastian Ullrich.
Last updated: Dec 20 2025 at 21:32 UTC