BFPG Meetup - November 2026 - Lean
Date & Time
Tue, 10 Nov 2026, 6:00 pm AEST
Ends Tue, 10 Nov 2026, 8:00 pm AEST
Times shown in Australia/Brisbane
Location
Brisbane Square Library
Brisbane Square Library, 266 George St, Brisbane City QLD 4000, Australia
Price
Free
AI/ML
Fraser Tweedale
Organizer
Join This Event
Let others know you're interested or going!
About This Event
Explore Lean 4 beyond its reputation as a theorem prover at this Brisbane functional programming meetup. The session looks at Lean as a strict, pure functional language, with practical examples alongside live proof work.
Session
Lean is a general-purpose functional programming language!? — Carlo Hamalainen
The talk will cover:
- The landscape of theorem proving and language models
- Everyday-style Lean code comparable to work often done in Go or Python
- Type classes, do notation and loops that desugar to pure code
- Building on an earlier BFPG discussion of monoids
- A live, step-by-step proof of monoid laws in Lean
Agenda
- 18:00 — Welcome and setup
- Presentation
- 20:00ish — Pack down, then head to the Criterion pub
Stay connected
Join the BFPG Discord.
Join This Event
Let others know you're interested or going!
Quick Details
Platform
luma
Event ID
5503323b