Course page Home page Home page CoursesNew course

Formalized algebra with proof assistants: Algebra course | Zoonk

42. Formalized algebra with proof assistants

Write machine-checked algebraic definitions and proofs using modern proof assistants such as Lean. The chapter covers formal statements, libraries such as mathlib, tactics, and the discipline of turning informal proof into verified 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