Fundamental Concepts in Lean 2

Fundamental Concepts in Lean 2.docx, 13.33 KB; (Last Modified on February 1, 2024)