FP
研究类型化因果正程序，以版本化理论与可复现实验推进验证。
验证公开值所有权边界的修复。
两个项目，一个协作平台。
在各自的专属空间了解项目，共享贡献流程、讨论与积分账户。
Integritellent
以工作区为核心的浏览器桌面，通过明确操作、本地数据和可审计的图结构组织工作。
验证可复现的构建与公开发布产物。
在各自的专属空间了解项目，共享贡献流程、讨论与积分账户。
研究类型化因果正程序，以版本化理论与可复现实验推进验证。
以工作区为核心的浏览器桌面，通过明确操作、本地数据和可审计的图结构组织工作。