Skip to content

Add info about transitioning to standard Lean #232

Add info about transitioning to standard Lean

Add info about transitioning to standard Lean #232