《软件基础》中译版 Software Foundations Chinese Translation
🐼 经典IT资源的中文翻译
i18next：一次学习-到处翻译
所有与FormatJS相关的库的单行本，最明显的是react-intl。
JetBrains 系列软件汉化包 关键字: Android Studio 3.5 汉化包 CLion 2019.3 汉化包 DataGr...
将Coq移植到Javascript中 -- 在浏览器中运行Coq
用Coq正式验证分布式系统实现的框架
Cosette是一个自动SQL解算器。
用于个人学习和实际工作的Coq范畴理论的无公理形式化
一种依赖类型的证明语言，旨在为工作中的软件工程师提供可证明正确的裸机代码。