Bosh sahifa Katalog Videolar Blog Haqida Qo'llanma Unilibrary

Kutubxona

Oriental Universitetining elektron kutubxona platformasi. Barcha fanlar bo'yicha kitoblar bir joyda.

Sahifalar

Bosh sahifa Katalog Blog Haqida Qo'llanma Litsenziyalar Kirish Ro'yxatdan o'tish

Bog'lanish

info@orientaluniversity.uz

+998 78 113 76 86

@oriental_kutubxona

© 2026 Oriental Universiteti. Barcha huquqlar himoyalangan.

ZFLean: a framework for set-level mathematics in Lean — Vincent Trélat | Kutubxona

Katalog Matematika va axborot texnologiyalariZFLean: a framework for set-level mathematics in Lean

ZFLean: a framework for set-level mathematics in Lean

Vincent Trélat

Matematika va axborot texnologiyalari

Format: PDF · Hajm: 858.3 KB · Bet: 17

Til: Inglizcha · Yil: 2026

Manba: ARXIVLitsenziya: CC BY 4.0

Original manbada ko'rish

To'liq o'qish uchun tizimga kiring.

00

To'liq o'qish uchun tizimga kiring

PDF yuklanmoqda...