|
|
|
|
|
|
by litexlang
370 days ago
|
|
|
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! |
|
|