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

Secure Software Development: Verification and More Specialized Topics
Linux Foundation via edX Developing Secure Software
LinkedIn Learning Ethical Hacking: Mobile Devices and Platforms
LinkedIn Learning Tüm Aşamalarıyla İnşaat Eğitimi - AUTOCAD/STA4/EXCEL/PROJECT
Udemy Mobile Security: Reverse Engineer Android Apps From Scratch
Udemy