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