Skip to content

Add info about transitioning to standard Lean #231

Add info about transitioning to standard Lean

Add info about transitioning to standard Lean #231