LeanArchitect-example

Thomas Zhu