golitex

What people said

• “Litex is a set-theory based, fact-oriented formal language trying to lower the barrier to entry of reading and writing formal math code. A great feature of Litex is that the user can write what to prove and it's the language itself that searches and tells you how it is prove, whi…”

• “Litex: The First Formal Language Learnable in 1-2 Hours (111 points)”