Lean: Past, Present, and Future (Invited Talk)
Published in 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia, 2024
Recommended citation: Sebastian Ullrich, "Lean: Past, Present, and Future (Invited Talk)." 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia, 2024.
Download Paper