1. Top
  2. leanet
  3. Files
  4. lake-manifest.json
leanet

AI slop Nanochat Lean port

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5 
{"version": "1.1.0",
 "packagesDir": ".lake/packages",
 "packages": [],
 "name": "leanet",
 "lakeDir": ".lake"}