Skip to main content
Kurssidor
  • English ‎(en)‎
    English ‎(en)‎ Svenska ‎(sv)‎
You are not logged in. (Log in)

Course info

  1. Home
  2. Courses
  3. Doktorandkurser läsåret 24/25
  4. Computer formalisation
  5. Summary

Computer formalisation of mathematics VT25

  • Teacher: Peter LeFanu Lumsdaine
  • Teacher: Anders Mörtberg

Skip Navigation
Navigation

  • Home

    • My courses

    • ForumWebbplatsnyheter

    • PageHow do I use this site?

    • My courses

    • Courses

      • Doktorandkurser läsåret 24/25

        • Analytic functions with sign restrictions

        • Soft skills for Mathematicians HT24

        • Computer formalisation

      • Mathematics Fall 25

      • Mathematical Statistics Fall 25

      • Computer Science & Scientific computing Fall 25

      • Summer courses ST25

      • Degree Project

      • Bachelor programs

      • Master's programmes

      • Basåret

      • Previously given courses

      • MSR

You are not logged in. (Log in)
Computer formalisation
  • English ‎(en)‎
    • English ‎(en)‎
    • Svenska ‎(sv)‎
Data retention summary