In person social at Coqfighter Finsbury Park
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.
Events in London, GB
Learning
Programming Languages
Software Development
Dependently Typed Programming
Type Systems