形式化数学

Litex：人人可用的形式化数学语言

Litex是一款简单的开源计算机语言，专为数学证明而设计。任何人只需两小时即可掌握其基本概念。尽管尚未达到生产就绪阶段，但Litex已具备足够强大的功能，能够形式化集合论和基本逻辑，满足大多数日常数学证明的需求。该工具为数学家和计算机科学家...