Course page Home page Home page CoursesNew course

Interactive theorem proving: Mathematical Logic course | Zoonk

57. Interactive theorem proving

Uses proof assistants to turn definitions, statements, and proofs into machine-checked artifacts. Learners formalize a small theorem in a modern dependent-type or higher-order system and manage libraries, tactics, and trusted kernels.

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