Hasso-Plattner-InstitutSDG am HPI
Hasso-Plattner-InstitutDSG am HPI
Login
 

Project Seminar: Lean Interactive Theorem Prover (Wintersemester 2023/2024)

Lecturer: Prof. Dr. Tobias Friedrich (Algorithm Engineering) , Dr. Samuel Baguley (Algorithm Engineering)
Course Website: https://hpi.de/en/friedrich/teaching/ws23/lean-theorem-prover.html

General Information

  • Weekly Hours: 4
  • Credits: 6
  • Graded: yes
  • Enrolment Deadline: 01.10.2023 - 31.10.2023
  • Teaching Form: Project seminar
  • Enrolment Type: Compulsory Elective Module
  • Course Language: English
  • Maximum number of participants: 12

Programs, Module Groups & Modules

IT-Systems Engineering MA
Data Engineering MA
Software Systems Engineering MA
  • MODA: Models and Algorithms
    • HPI-MODA-C Concepts and Methods
  • MODA: Models and Algorithms
    • HPI-MODA-T Technologies and Tools
  • MODA: Models and Algorithms
    • HPI-MODA-S Specialization

Description

xxx

Zurück