lean tag

• Lean Proof trees to Types
• TAPL Untyped Arith Haskell
• Logical Foundations notes Coq + Lean
• Lean Simple Prog Lang implementation
• Lean make a library
• Navigate Lean Repo
• Lean 3 (archive)
• Lean Mathlib
• Lean - Dependent Type
• Lean 4 Tut
• Intro Lean 3
• Intro Lean Functors and Structures/Product Types
• Intro Lean (archived)
• How to tell if a 'Type Constructor' is a Functor?