leanet

AI slop Nanochat Lean port

Commits at 9e815d064676013a15ccfe4d870a59da6bac572e

  1. 9e815d06 AI SLOPOCALYPSE Anthony Wang authored at Anthony Wang comitted at
  2. 0a0d3079 Better error messages Anthony Wang authored at Anthony Wang comitted at
  3. b74a30db Initial commit Anthony Wang authored at Anthony Wang comitted at