Uploads by Jode

1910.05934(1)

Theorem Proving in Lean(2)

113 Notes 2016

Mathematics in Lean

Ο Ευτυχισμένος Θάνατος (Albert Camus) (Z-lib.org)

Valuation Rings

maximalclass

LNO notes

IMU AO CL 12_2020_ICM2022_structure

Inductive Families

Tamagawa Live File

1501.02916v4

Local Fields

Hitchhikers Guide

Mathematics in Lean

Zalizniak a.a. - Petit Dictionnaire Pratique Russe-français. Зализняк А.А. Краткий Русско-французский Учебный Словарь - Libgen.lc

Learn Dutch In 7 Days The Ultimate Crash Course to Learning the Basics of the Dutch Language in no Time (Dagny Taggart)

Advanced Topics in the Arithmetic of Elliptic Curves (Joseph H. Silverman) (Z-lib.org)