Misc Category

2024

08-19

The Schreier-Sims Algorithm

02-22

Windows 下 VsCoq 配置踩坑记录（基于 wsl）

01-25

在 Agda 中定义演绎系统并进行定理证明

2023

12-27

Agda 定义中带 with 的函数的归纳：with inspect 和 ⊥ 的使用

0%