[HN Gopher] Litex: Formal math for everyone - set theory example...
       ___________________________________________________________________
        
       Litex: Formal math for everyone - set theory examples with Lean
       comparison
        
       Author : litexlang
       Score  : 13 points
       Date   : 2025-12-19 12:25 UTC (5 days ago)
        
 (HTM) web link (litexlang.com)
 (TXT) w3m dump (litexlang.com)
        
       | litexlang wrote:
       | [Litex](https://litexlang.com) is a simple open-source computer
       | language for mathematical proofs. Anyone can have a rough
       | understanding of Litex in 2 hours.
       | 
       | Although it is not yet ready for production use, it is already
       | powerful enough to formalize set theory and basic logic, which is
       | enough for most daily mathematical proofs. Visit [Set Theory Exam
       | ples](https://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.zulip
       | chat.com/join/c4e7foogy6paz2sghjnbujov/) to give us feedback and
       | suggestions!
        
       | tucnak wrote:
       | The code bits are criminally unreadable in dark mode--white
       | outlines over light gray background...
        
         | observationist wrote:
         | Almost looks like the highlight and default colors got swapped
         | - ctrl+a to read looks ok, but oof.
        
       ___________________________________________________________________
       (page generated 2025-12-24 23:01 UTC)