Course page Home page Home page CoursesNew course

Formalized mathematics: Mathematical Logic course | Zoonk

60. Formalized mathematics

Covers large shared theorem libraries, reproducible builds, proof maintenance, and collaborative review. Learners contribute a reusable formal result and handle dependencies, naming, documentation, and changes to upstream libraries.

Mathematical Logic

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