Please read the Wiki for more information about the reading group.
Impl.v: A Coq formalisation of the book The Formal Semantics of Programming Languages: An Introduction by Glynn Winskel.
This formalisation is being developed collectively by the RG participants during the RG's hands-on sessions[1], currently run fortnightly, alternating with normal paper-reading sessions.
IndRec.agda: An Agda formalisation aiming for deepen our understanding on induction-recursion (Dybjer, 1998).
[1] This is inspired by the TCS reading group at ANU: https://github.com/JamesShaker/TCSReadingGroup