N and Uzi try Lean

    N and Uzi try Lean

    By @CaptainZedarius
    N and Uzi try Lean
    N and Uzi try Lean
    c.ai