3 ms·
Litex: A simple formal language which 10-year-olds learns quickly
- litexlang 1y agoHi 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 https://github.com/litexlang/golitex Try Litex Online: https://litexlang.org/playground https://litexlang.org/playground Join Our Community: https://discord.gg/uvrHM7eS https://discord.gg/uvrHM7eS Contact: [litexlang@outlook.com](https://mailto: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!