Litex: A simple formal language which 10-year-olds learns quickly

Hi everyone!

I'm excited to introduce Litex — a simple formal language designed to make mathematical formalization accessible to everyone, even 10-year-old beginners! With 2,800 GitHub commits and growing, Litex is now capable of handling real mathematical examples. My name is Jiachen Shen, and as a passionate language design geek, I've created Litex to bridge the gap between abstract formal systems and human intuition. Get Involved Today!

GitHub (Star us! ):

https://github.com/litexlang/golitex

Try Litex Online:

https://litexlang.org/playground

Join Our Community:

https://discord.gg/uvrHM7eS

Contact: [litexlang@outlook.com](https://mailto:litexlang@outlook.com/)

Your feedback, ideas, and contributions are not just welcome - they're essential to our journey. Let's make formal mathematics accessible together!