#8. 内存分配程序的霍尔逻辑证明

来源：第一次定理证明大赛0 AC / 1 提交 · 0%