Exploring Lean 4

Zilin Jiang
Arizona State University
November 15, 2024

Exploring Lean 4 Zilin Jiang Arizona State University November 15, 2024