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

Metaprogramming in Lean 4

Date: January 06, 2021

Introduction to Lean 4 metaprogramming given together with Leonardo de Moura.

Follow:
GitHub
Feed

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