Class registration

REGISTRATION

First name

Last name

Phone

Company/Organization

We'll look you up for CDC membership Member Non-Member

LinkedIn URL

Additional attendees: (optional) Max 4, call for larger groups

Name:

Email:

Registration fee:

Only a few seats left

SOLD OUT

FREE

Member Discount Applied

Discount Code Applied

Attending Remotely

Card #

Card exp

Card code

Name on card

No payment required

How did you first hear about this class?

Message

SELECTED CLASS

Meetups

Tue Jun 9 5:30P-7:30P Beginner

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!

HOSTED BYBenoit Razet