ricerca dei libri
libri
Donare
Entrare
Entrare
gli utenti autorizzati hanno accesso a:
raccomandazioni personali
Telegram bot
cronologia dei download
inviare a email o Kindle
gestione delle raccolte
salvare nei preferiti
Personale
Richieste di libro
Studia
Z-Recommend
Elenco libri
Più popolari
Categorie
Partecipazione
Donare
Caricamenti
Litera Library
Dona i libri cartacei
Aggiungi i libri cartacei
Search paper books
Mio LITERA Point
Ricerca termini
Main
Ricerca termini
search
1
Certainty by Construction: Software and Mathematics in Agda
Sandy Maguire
suc
agda
zero
ℕ
function
ℓ
bool
false
cong
module
setoid
we’d
functions
monoid
import
reasoning
sym
𝑥
equality
argument
branch
identityʳ
hnf
proofs
prove
equal
insert
syntax
arguments
bst
define
values
eval
trie
inj
𝑎
monoids
assoc
programming
constructor
addition
identityˡ
𝑏
emacs
variables
ℤ
preorder
standard
shape
iseven
Anno:
2023
Lingua:
english
File:
PDF, 1.33 MB
I tuoi tag:
0
/
4.5
english, 2023
1
Segui
questo link
o cerca il bot "@BotFather" in Telegram
2
Invia il comando /newbot
3
Inserisci un nome del tuo bot
4
Inserisci un nome utente del bot
5
Copia l'ultimo messaggio da BotFather e incollalo qui
×
×