Charleston Lean+AI Meetup
Lean4+AI Meetup – Proof Hacking Session
Join us for this month's Lean+AI meetup! AI progress has accelerated rapidly in recent months, and we're now at a point where mainstream systems like Claude Code and OpenAI Codex can meaningfully assist with Lean4 development.
For this session, we're following a hackathon-style format where participants explore a formalization of their choice, either solo or in groups. The goal is to spark discussion, experimentation, and collaboration. Think about what computer program, mathematical theory, or physical theory you'd like to formally verify, and let's see how far we can get together.
Bring your laptop, high-quality tokens, and your proof-hacking spirit!
Introduction to AI
From Anxiety to Curiosity
There is a lot of noise and confusion around artificial intelligence, and for many people, a fair amount of anxiety too. This class cuts through both. It begins by addressing the most common myths about AI, then builds a clear and practical understanding of how it works. From there, participants explore today's most widely-used generative AI tools (ChatGPT, Gemini, and Claude) with guided, low-pressure practice before choosing a real scenario from their own work or life to try. Participants leave with less anxiety, more curiosity, and the confidence to keep exploring.
“I attended "The Entrepreneur Sales Playbook" class at the CDC Learning Center. The content, instructor, and pace were outstanding.”
_1726688504791.jpeg?fit=crop&crop=top%2C%20center&w=120&h=120&mask=ellipse&fill-color=ffffff&auto=format&s=b174c909597d10834d7bd1d54f4e6b83)
“Your classes are so well designed to cater to entrepreneurs and professionals at all levels, ensuring that no one is left behind!”
“Very much enjoyed my recent class at the CDC and having the ability to continue to be kept abreast of emerging technologies at their convenient facility - look forward to engaging more!”
_1726760034833.png?fit=crop&crop=top%2C%20center&w=120&h=120&mask=ellipse&fill-color=ffffff&auto=format&s=1dd2bec6e0e6e3d884551afd7fc427bb)
What types of courses/programs are offered at CLC?
The CLC offers a variety of tech and business classes, workshops, certificates and meetups for an audience ranging from curious learners to tech professionals. Topics include fast growing careers including AI, digital marketing, data science, cybersecurity, sales, leadership and more.
VIEW ALL FAQHost your meetup, corporate meeting or private event!
The learning center is ready for private bookings as well as freely available for tech-focused meetup groups (schedule permitting).
- Capacity for up to 40 persons
- Dual 85" presentation screens
- Light/full catering available
- Adjacent parking garage
- Rates from $100 per hour
