Open Issues Need Help
View All on GitHub [理论计算机/递归论] 递归可枚举扩张序列极限的不可递归性 —— 自动推理完备化路径的复杂度下界 3 months ago
help wanted question
level0000x/Lv-00 level0000x/Lv-00 几何元语言原型：统一几何构造、代数计算与逻辑证明。C11 核心引擎 + Lean 4 形式化验证。
Open project →
3
几何元语言原型：统一几何构造、代数计算与逻辑证明。C11 核心引擎 + Lean 4 形式化验证。
C
#automated-theorem-proving#c11#compiler#formal-verification#geometric-modeling#geometry#lean4#meta-language#research-project#symbolic-computation