募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
25.1% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
我的 LITERA Point
搜索关键词
Main
搜索关键词
search
1
The Type Theory of Lean [Thesis]
Mario Carneiro
jγ
ᾱ
λx
inductive
e01
reduction
e02
kγ
theorem
acc
equality
β̄
definitional
defined
αkγ
rec
ekγ
typing
ē
r̄
ctor
function
lemma
α0
induction
recp
coq
unique
zfc
c̄
irrelevance
axiom
ā
choice
µt
propositional
imax
βkγ
π1
arguments
variables
compatibility
lift
suppose
mkr
ulift
define
exists
implies
iota
年:
2019
语言:
english
文件:
PDF, 450 KB
您的标签:
0
/
3.0
english, 2019
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×