YoVDO

Sebastian Ullrich: Profiling Tools in Lean

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Software Development Courses Functional Programming Courses Static Analysis Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore profiling tools in Lean with Sebastian Ullrich in this 59-minute lecture from the Hausdorff Center for Mathematics. Gain insights into performance optimization techniques, learn how to identify bottlenecks, and discover strategies for improving code efficiency in Lean programming. Delve into the intricacies of profiling methodologies specifically tailored for the Lean theorem prover, enhancing your ability to write faster and more resource-efficient proofs and programs.

Syllabus

Sebastian Ullrich: Profiling Tools in Lean


Taught by

Hausdorff Center for Mathematics

Related Courses

Functional Programming Principles in Scala
École Polytechnique Fédérale de Lausanne via Coursera Functional Program Design in Scala
École Polytechnique Fédérale de Lausanne via Coursera Paradigms of Computer Programming
Université catholique de Louvain via edX Introduction to Functional Programming
Delft University of Technology via edX Paradigms of Computer Programming – Fundamentals
Université catholique de Louvain via edX