本の検索
本
ドネーション
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたはKindleに送信する
ブックリストの管理
お気に入りに保存
個人用
本のリクエスト
探索
Z-おすすめ
ブックリスト
一番人気本
カテゴリー
貢献
ドネーション
アップロード
Litera Library
紙の本を寄付する
紙の本を追加する
Search paper books
私のLitera Point
キーワード検索
Main
キーワード検索
search
1
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
2
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
1
このリンク
にアクセスするか、またはTelegramで「@BotFather」というボットを探してください。
2
「/newbot」というコマンドを送信してください。
3
チャットボットの名前を指定してください。
4
ボットのユーザー名を選んでください。
5
BotFatherから最後のメッセージをコピーして、ここに貼り付けてください。
×
×