Design and Implementation of the Andromeda Proof Assistant

SUN, JUL 19 · 12:00 PM
by SF Types, Theorems, and Programming Languages →
Learning & WorkshopsTech & Startup

\*\*\* PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY \*\*\* What kinds of type theories lie beyond the bounds of our galaxy? We may never find o

Get all the details & tickets at
Meetup ↗

Questions & community

Have a question about Design and Implementation of the Andromeda 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.