☰
Lean 4 from the Wolfram Language
Wolfram
⋮
Resource page
Wolfram/Lean
Link
Lean 4 from the Wolfram Language
Tutorials
Exploring Mathlib with Lean
Link
An Import Graph for Mathlib
Getting Started with Lean
Link
Loading...
Import
DOT
Lean
App
Lean
Build
Lean
BVar
Lean
Call
Graph
Lean
Compile
Lean
Compile
Typed
Lean
Const
Lean
Constant
Lean
Constant
Info
Lean
Environment
Lean
Evaluate
Lean
Export
Lean
Export
String
Lean
Expr
Lean
Expr
Graph
Lean
Expr
To
Type
Lean
Forall
Lean
Free
Environment
Lean
FVar
Lean
Goal
Lean
Import
Lean
Import
String
Lean
Lam
Lean
Let
Lean
Level
IMax
Lean
Level
Max
Lean
Level
MVar
Lean
Level
Param
Lean
Level
Succ
Lean
Level
Zero
Lean
List
Constants
Lean
List
Theorems
Lean
Lit
Nat
Lean
Lit
Str
Lean
Load
Environment
Lean
MVar
Lean
No
Value
Lean
Proj
Lean
Sort
Lean
State
Lean
Tactic
Lean
Term
Lean
To
Function
Lean
Truncated
Lean
Value
Proof
To
Lean