leanet

AI slop Nanochat Lean port

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
# leanet

Lean port of https://git.phial.org/d6/nanochat, unedited AI slop, somehow it just works™

Tested with https://git.sr.ht/~angelwood/picopico/ and https://git.quiltro.org/lobo/nanite


This project was edited by [Aristotle](https://aristotle.harmonic.fun).

To cite Aristotle:
- Tag @Aristotle-Harmonic on GitHub PRs/issues
- Add as co-author to commits:
```
Co-authored-by: Aristotle (Harmonic) <aristotle-harmonic@harmonic.fun>
```