The RedPRL Proof Assistant

SUN, AUG 2 · 12:00 PM
by SF Types, Theorems, and Programming Languages →
Learning & Workshops

\*\*\* PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY \*\*\* Let's get cubical again and take a look at *The RedPRL Proof Assistant* (https://cgi

Get all the details & tickets at
Meetup ↗

Questions & community

Have a question about The RedPRL Proof Assistant — parking, tickets, age limits, or who’s going? Ask it here and get answers from locals who’ve been, plus the host and venue. Coco is where your area coordinates plans for events like this.

Quick Questions

No questions yet — ask the first.

Comments

No comments yet — say something.