Tubidy
[Formalising math 2022] Section 05: sets, solutions to sheet 4

[Formalising math 2022] Section 05: sets, solutions to sheet 4

06:03 | 115 views |
Download MP3

Related Videos

10 minute Lean tutorial : proving logical propositions

10 minute Lean tutorial : proving logical propositions

The Xena Project

The Xena Project

Lean summer lectures 2/18: partitions

Lean summer lectures 2/18: partitions

[Formalising math 2022] Section 14, Sheet 4, more on the auxiliary ideal

[Formalising math 2022] Section 14, Sheet 4, more on the auxiliary ideal

Shing Tak Lam: "Formalising the fundamental group"

Shing Tak Lam: "Formalising the fundamental group"

[London Learning Lean] Euler's Totient Theorem and the Prime Number Theorem, by Ella Yu and Xiang Li

[London Learning Lean] Euler's Totient Theorem and the Prime Number Theorem, by Ella Yu and Xiang Li

Skrillex with Nai Barghouti - XENA (Official Music Video)

Skrillex with Nai Barghouti - XENA (Official Music Video)

[London Learning Lean] The Krull topology, by Sebastian Monnet

[London Learning Lean] The Krull topology, by Sebastian Monnet

[Formalising math 2022] Section 14, Sheet 3, an auxiliary ideal.

[Formalising math 2022] Section 14, Sheet 3, an auxiliary ideal.

[Formalising math 2022] Section 02: the reals, solutions to sheet 5 (limit of sum is sum of limits)

[Formalising math 2022] Section 02: the reals, solutions to sheet 5 (limit of sum is sum of limits)

[Formalising math 2022] Section 03: groups, introduction to classes and structures

[Formalising math 2022] Section 03: groups, introduction to classes and structures

[Formalising Math 2022] Section 01 Logic: Introduction

[Formalising Math 2022] Section 01 Logic: Introduction

Lean summer lectures 3/18 : limits of sequences

Lean summer lectures 3/18 : limits of sequences

[Formalising math 2022] Section 02: the reals, solutions to sheet 3 (limits of sequences)

[Formalising math 2022] Section 02: the reals, solutions to sheet 3 (limits of sequences)

The Viola Project presents Xena

The Viola Project presents Xena

[Formalising math 2022] Section 03: groups. Playing with variants of the axioms.

[Formalising math 2022] Section 03: groups. Playing with variants of the axioms.

[Formalising math 2022] Section 03: groups, solns to sheet 4 (group homs)

[Formalising math 2022] Section 03: groups, solns to sheet 4 (group homs)

[London Learning Lean] Ostrowski's theorem, by Billy Miao

[London Learning Lean] Ostrowski's theorem, by Billy Miao

[London Learning Lean] Post-quantum cryptography, by Wrenna Robson.

[London Learning Lean] Post-quantum cryptography, by Wrenna Robson.