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

Agda Tag

2024

01-25

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

2023

12-27

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