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!
Everyday STEM Camp 2026
The Everyday STEM Camp for middle schoolers offers an exciting and hands-on exploration of the principles, applications, and creative possibilities of STEM fields. STEM education is essential for students' success in today's digital and innovation-driven world, as it intersects with nearly every area of academic and career development. This camp is designed to ignite curiosity, foster collaboration, and provide participants with a strong foundation in problem-solving and critical thinking skills.
_1740503876766.jpg?fit=crop&crop=center&w=200&h=200&mask=ellipse&fill-color=ffffff&auto=format&s=733e67f670dc62d765a12ef9db29c616)
“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)
“I was blown away by the professionalism and content of the class I attended at the Charleston Learning Center, and I will be back. Every audience member returned to the office with a bare minimum of three actionable items. Shout out to Tom Wilson for running such a great event.”
_1728591518983.png?fit=crop&crop=top%2C%20center&w=120&h=120&mask=ellipse&fill-color=ffffff&auto=format&s=94a74d4f3d854a30ae2e6f691533f955)
“Your classes are so well designed to cater to entrepreneurs and professionals at all levels, ensuring that no one is left behind!”
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
