Zulip Chat Archive
Stream: lean4 dev
Topic: Lean4 Compiler Documentation
Deepankar Sharma (Dec 21 2024 at 02:42):
Is there some documentation available about the lean4 compiler and runtime implementation? Would appreciate any pointers.
Last updated: Dec 20 2025 at 21:32 UTC