IRC-bot written in Lean (https://leanprover.github.io/)
Primary LanguageLean
No issues in this repository yet.