Charleston Lean Proof Assistant Meetup

For our February meeting, we will explore how to leverage AI models in Lean4 development. Topics of interest include one-shot prompts, the creation of agentic loops, and fine-tuning models, as well as discussions on the latest advancements and their potential applications.

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