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 Sep 10 5:30P-7:30P NO FEE Beginner

Charleston Lean Proof Assistant Meetup

Lean is a functional programming language with a highly expressive type system. It can be used to produce performant programs that are guaranteed to meet their specifications, which proves that a large class of bugs cannot exist in your program.

HOSTED BYBenoit RazetResearch Engineer, Galois, Inc.