lib:lean

Modules

• Lean.Exception
• Lean.Expr
• Lean.Name
• Lean.Raw.C.Decl
• Lean.Raw.C.Decl.Cert
• Lean.Raw.C.Env
• Lean.Raw.C.Exception
• Lean.Raw.C.Expr
• Lean.Raw.C.Name
• Lean.Raw.C.Univ
• Lean.Univ

Dependencies

• base lib:base >=4.7 && <5
• base-unicode-symbols lib:base-unicode-symbols >=0
• text-utf8 lib:text-utf8 >=0
• transformers lib:transformers >=0
• util lib:util >=0

Reverse dependencies

None.