用户: Trebor

简介

$$🌰\stackrel{🌊}{\Rightarrow }🥑.$$

编写了 btex 的 VS Code 插件.

页面

•	用户:Trebor/HOTT 规则
•	用户:Trebor/综合 Tait 可计算性
•	用户:Trebor/高阶逻辑规则
•	用户:Trebor/Normal_Forms_in_Cubical_Type_Theory
•	用户:Trebor/多项式模型
•	用户:Trebor/泛等公理的 Voevodsky 模型