寄付 2024年9月15日 – 2024年10月1日
募金について
本の検索
本
寄付:
57.8% 完了
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたは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 1 LOGICAL FOUNDATIONS
Benjamin C. Pierce
,
Arthur Azevedo de Amorim
,
Chris Casinghino
,
Marco Gaboardi
,
Michael Greenberg
,
Cătălin Hriţcu
,
Vilhelm Sjöberg
,
Brent Yorgey
current
lemma
coq
lf.imp
theorem
softwarefoundations.cis.upenn.edu
lf.indprop
constructor
induction
admitted
lf.poly
inductive
apply
reflexivity
lf.lists
intros
lf.basics
qed
lf.logic
notation
function
standard
false
prove
match
rewrite
destruct
simpl
defined
bool
lf.tactics
proofs
functions
_x
goal
programming
lists
optional
tactics
lf.auto
fixpoint
propositions
evidence
lf.impparser
lf.proofobjects
arguments
definitions
_x_
context
inductively
年:
2020
言語:
english
ファイル:
PDF, 1.30 MB
あなたのタグ:
0
/
0
english, 2020
3
Software Foundations Vol 3 Verified Functional Algorithms
Andrew W. Appel
current
lemma
vfa
softwarefoundations.cis.upenn.edu
vfa.searchtree
vfa.adt
vfa.trie
searchtree
abs
theorem
admitted
lookup
insert
match
apply
vfa.redblack
prove
trees
vfa.color
coq
constructor
qed
positive
vfa.binom
key
cts
vfa.priqueue
module
vfa.extract
inductive
check
node
sorted
intros
vfa.decide
destruct
axiom
function
permutation
priqueue
search
forall
priq
algorithms
unfold
false
t_update
vfa.perm
binary
correctness
年:
2020
言語:
english
ファイル:
PDF, 996 KB
あなたのタグ:
0
/
0
english, 2020
4
Software Foundations Vol 4 QuickChick
Leonidas
,
Lampropoulos Benjamin
,
C. Pierce
current
qc.timp
qc.quickchickinterface
quickchick
qc.qc
qc.typeclasses
gamma
softwarefoundations.cis.upenn.edu
typeclasses
node
coq
match
constructor
_x_
exp
inductive
tests
checker
notation
shrink
generator
failure
generators
tnat
testing
command
instances
bool
typed
typeclass
declare
arbitrary
forall
function
tbool
record
checkable
eval
module
option
parameter
axiom
stack
check
fixpoint
qc_scope
tutorial
decidable
core
define
年:
2020
言語:
english
ファイル:
PDF, 585 KB
あなたのタグ:
0
/
0
english, 2020
1
このリンク
にアクセスするか、またはTelegramで「@BotFather」というボットを探してください。
2
「/newbot」というコマンドを送信してください。
3
チャットボットの名前を指定してください。
4
ボットのユーザー名を選んでください。
5
BotFatherから最後のメッセージをコピーして、ここに貼り付けてください。
×
×