Course page Home page Home pageNew course

Formalized mathematics and proof assistants | Zoonk

84. Formalized mathematics and proof assistants

Write machine-checkable definitions and proofs in a proof assistant, manage dependencies, and distinguish formal verification from informal mathematical argument.

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