Meetups

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!

Charleston Data Science Meetup

Agentic AI for Amateurs- Using Manus AI for small businesses and entrepreneurs

This talk will introduce Manus AI, a powerful general AI agent designed to revolutionize productivity for small businesses, entrepreneurs, and solopreneurs.