募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
22.3% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
创建 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Software Foundations
iBooker it-ebooks
it-ebooks
apply
notation
constr
intros
qed
theorem
rewrite
inversion
induction
reflexivity
destruct
lemma
coq
false
admitted
anum
match
☐
pe_st
goal
function
eapply
step
prove
simpl
eauto
inductive
simple_intropattern
unfold
ltac
ident
t12
context
assumption
bool
import
tnat
require
tapp
appears_free_in
optional
proofs
tactics
hyp
typing
auto_star
lets
variables
auto_tilde
hint
年:
2017
语言:
english
文件:
EPUB, 660 KB
您的标签:
0
/
0
english, 2017
2
Software Foundations vol 2 Programming Language Foundations
Benjamin C. Pierce
,
Arthur Azevedo de Amorim
,
Chris Casinghino
,
Marco Gaboardi
,
Michael Greenberg
,
Cătălin Hriţcu
,
Vilhelm Sjöberg
,
Andrew Tolmach
,
Brent Yorgey
current
notation
constr
lemma
constructor
gamma
plf
softwarefoundations.cis.upenn.edu
pe_st
plf.smallstep
apply
simple_intropattern
plf.hoare
step
plf.morestlc
intros
rewrite
plf.references
inductive
match
_x_
goal
theorem
ltac
ident
plf.pe
plf.equiv
tactics
_x
coq
plf.norm
plf.recordsub
inversion
typing
plf.sub
false
plf.hoare2
qed
hoare
stlc
eauto
induction
appears_free_in
reflexivity
destruct
standard
hyp
plf.records
bool
auto_star
年:
2020
语言:
english
文件:
PDF, 2.20 MB
您的标签:
0
/
0
english, 2020
3
公理化集合论机器证明系统
科学出版社
郁文生
apply
destruct
unfold
split
intros
axiom
rewrite
h10
assert
h11
h12
axiomii_p
axiomii
h13
theorem4
h14
h15
h16
generalize
h17
theorem49
exists
repeat
contradiction
h18
qed
theorem19
rrelation
hint
tauto
ordinal
h20
h19
theorem
clea
classic
property_value
resolve
singleton
en_f
setminus
kelley
function
asse
coq
property_dom
theorem33
property_ran
函
elim
年:
2020
语言:
chinese
文件:
PDF, 10.49 MB
您的标签:
5.0
/
3.0
chinese, 2020
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×