Skip to main content

Proving Dedekind's Theorem in Lean

Title

Proving Dedekind's Theorem in Lean

Subject

Mathematics

Description

Presentation at undergraduate conference.

Creator

Paul Lezeau

Date

2021

URL

https://www.youtube.com/watch?v=QyIrjY3ntuY

Files

Collection

Tags

Dedekind's theorem, Mathematics, Proof

Citation

Paul Lezeau, “Proving Dedekind's Theorem in Lean,” URSS Showcase, accessed May 6, 2024, https://urss.warwick.ac.uk/items/show/83.