⌘ Tech
The RedPRL Proof Assistant
- When
- Sunday, August 2
- Where
- San Francisco
- Listed by
- Meetup — SF Tech
\*\*\* PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY \*\*\*
Let's get cubical again and take a look at The RedPRL Proof Assistant
(cgi.cse.unsw.edu.au/\~eptcs/paper.cgi?LFMTP2018.1.pdf). (I don't see a way to make red text in meetup, so I can't do the paper's title typographical justice, but just imagine that you're seeing red.)
We'll meet over Zoom and post the meeting URL here a few minutes before meeting start time.
