🧠 Leon is your open-source personal assistant.
Verification framework and tool for higher-order Scala programs
Leon is a simple WhatsApp Bot. Don't forget to give a star ✨️