• 在交互式定理证明器中使用神经网络证明定理的一些初步探索

  May 17, 2022

• 一种面向微控制器的eBPF虚拟机的端到端机械化证明方法

  April 18, 2022

• 群论与拓扑等概念在Coq中的形式化

  June 18, 2021