litexlang/golitex
View on GitHub ↗ ★ 686 Rust
Python of formal math
6 mentions on Hacker News by 1 person: 2 stories, 4 comments · first 2025-06-12 · latest 2026-10-17
20082026
-
…you. It also has an expanding compiler translating Litex to Lean. The source code is open-sourced https://github.com/litexlang/golitex
comment by litexlang · 2026-10-17 · in Litex: A Formal Language as Easy to Learn as Python and LaTeX -
…://litexlang.com/doc/How_Litex_Works/Litex_vs_Lean_Set_... ) for more examples. Star the repo [here]( https://github.com/litexlang/golitex ) to support Litex, and join our [Zulip community]( https://litex.zulipchat.com/join/c4e7foogy6paz2sg…
comment by litexlang · 2025-12-19 · in Litex: Formal math for everyone – set theory examples with Lean comparison -
Litex is a simple, intuitive, and open-source formal language for coding reasoning (Star the repo! https://github.com/litexlang/golitex ). It ensures every step of your reasoning is correct, and is actually the first reasoning formal…
comment by litexlang · 2025-09-25 · in Litex: The First Formal Language Learnable in 1-2 Hours -
…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…
comment by litexlang · 2025-06-12 · in Litex: A simple formal language which 10-year-olds learns quickly