Course page Home page Home page CoursesNew course

Formal proof for group theory with Lean: Group Theory course | Zoonk

39. Formal proof for group theory with Lean

Use Lean and mathlib to state and verify group-theoretic definitions and theorems. Practice translating informal algebra proofs into checked formal proofs and reading existing formalized mathematics.

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc