本文へスキップ
onsuggest
ログイン
本 en

Type Theory and Formal Proof

情報源: Open Library ·

By Rob Nederpelt; Herman Geuvers (2014). 11 recommendations on Hacker News.

おすすめの理由

Hacker News rank #2302, 15 mentions, 11 recommenders.

元のページを開く もっと発見する

キーボードショートカット

前の発見
←P
次の発見
→N
いいね
L
合わない
X
保存
S
このヘルプを表示
?
閉じる
Esc

ショートカットは発見ページで使えます。