Leaning In! 2025 Sponsorship
€100+
€100+
https://schema.org/InStock
eur
Jesse Alama
Leaning In! 2025 is a small workshop to be held on March 13th, 2025 dedicated to learning more about the Lean programming language & proof assistant. A sponsorship helps to keep ticket prices low.
Appreciation and credit on the Leaning In! web page and on-site
Add to wishlist
30-day money back guarantee