Ostrowski's theorem

general mathematicsnumber theory

Audience: advanced learners

London Learning Lean

Series comments: London Learning Lean is an in-person informal seminar where people in the Lean community give 10-minute presentations on things they're doing with the Lean theorem prover. It runs on the last Friday of the month, typically either at Imperial College or UCL. Please contact Kevin Buzzard on the Lean Zulip if you want to reserve a slot for a ten-minute presentation!