上海人工智能实验室和复旦大学的研究团队近日开源了 Litex ——一门专为降低形式化推理门槛而设计的极简语言。本项目采用 Go 语言开发。