Charleston Lean Proof Assistant Meetup

Our March meeting will be highly interactive! In the first half we'll dive deeper into using LLMs to assist with proofs in Leann and exploring new ways to leverage AI in formal verification.

In the second half we'll collaborate on proving mathematical theorems together as a hands-on problem-solving experience.

RSVP here https://www.charlestonlc.org/classes/charleston-lean-proof-assistant-meetup/