The Proofs and Programs Club @ RHUL

PaPC logo

What do we do?

Research projects

We are currently investigating the following topics (available as UROP projects to RHUL students):

Weekly meetups

We meet every week to learn about logic, proof assistants, certified programs, and programming language theory. We use the Isabelle proof assistant adn we follow the Programming and Proving in Isabelle/HOL book. We have used the Coq proof assistant and we learn it using the Software Foundations books.

Who are we?

Organisers

Students

Contact us

Find us on Discord, contact any of the organisers for an invitation.