Bare Lean Vs 2.0

#1

(topic withdrawn by author, will be automatically deleted in 24 hours unless flagged)