Proof Assistant User Group

Monday, 5pm — CSE 407

Subscribe to the calendar: iCal or Google Calendar.

We meet once a month to discuss the practice of proof assistants. There will be food! Please sign up for the PAUG mailing list.

Date Who What
Jan 22

Jon Leo

Programming in Cubical Type Theory

One week late due to MLK day.

Feb 19

Note: this is Presidents’ day

Topic Suggestions