Donaciones 15 de septiembre 2024 – 1 de octubre 2024
Acerca de la recaudación de fondos
buscar libros
libros
Donaciones:
52.9% alcanzado
Iniciar sesión
Iniciar sesión
los usuarios autorizados tienen acceso a:
recomendaciones personales
Bot de Telegram
historial de descargas
enviar a correo electrónico o Kindle
gestión de listas de libros
guardar en favoritos
Personal
Solicitudes de libros
Estudio
Z-Recommend
Listas de libros
Más populares
Categorías
Participación
Donar
Cargas
Litera Library
Donar libros en papel
Agregar libros en papel
Search paper books
Mi LITERA Point
Búsqueda de palabras clave
Main
Búsqueda de palabras clave
search
1
The Type Theory of Lean [Thesis]
Mario Carneiro
jγ
ᾱ
λx
inductive
e01
reduction
e02
kγ
theorem
acc
equality
β̄
definitional
defined
αkγ
rec
ekγ
typing
ē
r̄
ctor
function
lemma
α0
induction
recp
coq
unique
zfc
c̄
irrelevance
axiom
ā
choice
µt
propositional
imax
βkγ
π1
arguments
variables
compatibility
lift
suppose
mkr
ulift
define
exists
implies
iota
Año:
2019
Idioma:
english
Archivo:
PDF, 450 KB
Sus etiquetas:
0
/
3.0
english, 2019
1
Sigue
este link
o encuentra al bot "@BotFather" en Telegram
2
Envía el comando /newbot
3
Indica un nombre para tu bot
4
Indica un nombre de usuario para el bot
5
Copia el último mensaje de BotFather e insértalo aquí
×
×