TeamBlogProjectsEventsFun Zone
JOIN THE CLUB
Back to Events Hub

Student Talks: Lean: Bridge to Uncertainty

21:00 IST
PAST
Student Talks: Lean: Bridge to Uncertainty highlight

As the SlashDot tenure for 2025-26 comes to a close, we are hosting a series of Discussion Sessions led by our nominated Office Bearer candidates.

Join us for the second session of the series, Lean: Bridge to Uncertainty, featuring a foundational introduction to the Lean Theorem Prover.

Event Details

  • Speaker: Alok Jha (25MS)
  • Venue: LHC G05
  • Time: 9:00 PM

We encourage everyone to attend and help us choose the best candidates for the next tenure!