Sebastian Ullrich
Publications
Talks
CV

Sebastian Ullrich

Sebastian Ullrich

he/him

Co-Founder, Head of Engineering

Lean FRO
Munich, Germany
Email
ORCID
Github
LinkedIn
Mastodon

Library Scalability in the Lean Theorem Prover

Date: July 08, 2025

Talk given at Ilya Sergey’s group.

Follow:
GitHub
Feed

© 2026 Sebastian Ullrich. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.