In person social at Coqfighter Finsbury Park
Hosted By
awalterschulze
Details
The Coq Proof Assistant is changing their name to Rocq
https://www.reddit.com/r/programmingcirclejerk/comments/18ogeww/the_coq_developer_team_has_validated_the_renaming/
So time is running out to share the pun with CoqFighters.
Let's meet up, have a meal and drinks and talk about Proof Assistants, Dependent types and puns.
COVID-19 safety measures
Event will be indoors
The event host is instituting the above safety measures for this event. Meetup is not responsible for ensuring, and will not independently verify, that these precautions are followed.
London Type-Driven Development
See more events
Coqfighter Finsbury Park
38 Wells Terrace · London
In person social at Coqfighter Finsbury Park