Charleston Lean Proof Assistant Meetup

Like last time, our next meeting will be split into two parts. Jared will talk about using Lean as a function programming language. Ben will review the article "Perceus: Garbage Free Reference Counting with Reuse" that introduces the novel programming paradigm FBIP (Functional But In-Place)

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