LAIV students start a reading group on Software Foundations

LAIV students start a reading group on Software Foundations in Coq, https://softwarefoundations.cis.upenn.edu/ The reading and programming sessions will take place every Tuesday at 10.00. Check-out the schedule and room changes at https://github.com/laiv-research/SoftwareFoundations or email Daniel Kienitz directly.

Leave a Reply

Your email address will not be published. Required fields are marked *