Sebastian Ullrich
Publications
Talks
CV
Sebastian Ullrich
he/him
Co-Founder, Head of Engineering
Follow
Lean FRO
Munich, Germany
Email
ORCID
Github
LinkedIn
Mastodon
Trustless AI with the Lean Theorem Prover
Date:
July 11, 2025
Slides
Previous
Next
