London Learning Lean P Adic 11421

At a Glance: Oliver explains how he started off formalising Engel's theorem and ended up formalising a cleaner statement which implies it. This video is one of the special guess talks or conference talks that took place during CTNT 2022, the Connecticut Summer ...

London Learning Lean P Adic 11421 -

Oliver explains how he started off formalising Engel's theorem and ended up formalising a cleaner statement which implies it. This video is one of the special guess talks or conference talks that took place during CTNT 2022, the Connecticut Summer ... Short Talks by Postdoctoral Members Christian Johansson - September 29, 2015 ...

Important details found

Oliver explains how he started off formalising Engel's theorem and ended up formalising a cleaner statement which implies it.
This video is one of the special guess talks or conference talks that took place during CTNT 2022, the Connecticut Summer ...
Short Talks by Postdoctoral Members Christian Johansson - September 29, 2015 ...
Ashvni tells us about some work of hers which will be part of her thesis on

Why this topic is useful

The goal of this page is to make London Learning Lean P Adic 11421 easier to scan, compare, and understand before opening related resources.

Frequently Asked Questions

What should readers check next?

Readers should check related pages, official references, or updated sources when details matter.

Why are related topics included?

Related topics help readers compare nearby references and understand the broader subject.

What is this page about?

This page summarizes London Learning Lean P Adic 11421 and connects it with related entries, references, and supporting context.

Reference Gallery

[London Learning Lean] p-adic measure theory in Lean, by Ashvni Narayanan

[London Learning Lean] p-adic measure theory, by Ashvni Narayanan.

[London Learning Lean] Fontaine’s period rings, by María Inés de Frutos Fernández

[ANT15] p-adic integers: a primer, and an application (part 1)

What is... p-adic geometry? - Jacob Lurie

1 Billion is Tiny in an Alternate Universe: Introduction to p-adic Numbers

CTNT 2022 - p-adic Fourier theory and applications (by Jeremy Teitelbaum)

[London Learning Lean] Engel's theorem in mathlib, by Oliver Nash

A motivated introduction to the p-adic numbers

p-adic modular forms - Christian Johansson

View Full Details

[London Learning Lean] p-adic measure theory in Lean, by Ashvni Narayanan

[London Learning Lean] p-adic measure theory in Lean, by Ashvni Narayanan

Read more details and related context about [London Learning Lean] p-adic measure theory in Lean, by Ashvni Narayanan.

[London Learning Lean] p-adic measure theory, by Ashvni Narayanan.

[London Learning Lean] p-adic measure theory, by Ashvni Narayanan.

Ashvni tells us about some work of hers which will be part of her thesis on

[London Learning Lean] Fontaine’s period rings, by María Inés de Frutos Fernández

[London Learning Lean] Fontaine’s period rings, by María Inés de Frutos Fernández

The full title is "Extensions of norms and Fontaine's period rings". María Inés tells us about their ongoing work to formalise the ...

[ANT15] p-adic integers: a primer, and an application (part 1)

[ANT15] p-adic integers: a primer, and an application (part 1)

Read more details and related context about [ANT15] p-adic integers: a primer, and an application (part 1).

What is... p-adic geometry? - Jacob Lurie

What is... p-adic geometry? - Jacob Lurie

Read more details and related context about What is... p-adic geometry? - Jacob Lurie.

1 Billion is Tiny in an Alternate Universe: Introduction to p-adic Numbers

1 Billion is Tiny in an Alternate Universe: Introduction to p-adic Numbers

Thanks to my supporters on Patreon! Get early access to videos and more: The

CTNT 2022 - p-adic Fourier theory and applications (by Jeremy Teitelbaum)

CTNT 2022 - p-adic Fourier theory and applications (by Jeremy Teitelbaum)

This video is one of the special guess talks or conference talks that took place during CTNT 2022, the Connecticut Summer ...

[London Learning Lean] Engel's theorem in mathlib, by Oliver Nash

[London Learning Lean] Engel's theorem in mathlib, by Oliver Nash

Oliver explains how he started off formalising Engel's theorem and ended up formalising a cleaner statement which implies it.

A motivated introduction to the p-adic numbers

A motivated introduction to the p-adic numbers

Read more details and related context about A motivated introduction to the p-adic numbers.

p-adic modular forms - Christian Johansson

p-adic modular forms - Christian Johansson

Short Talks by Postdoctoral Members Christian Johansson - September 29, 2015 ...