Skip to content

Details

Talks this month:

Mukesh: Formalizing axiomatic system (Group theory) in Coq
Alex: Exploring a real Haskell project with a unix-philosophy IDE

Invite your friends and colleagues, and we'll see you there!

  • Alex
Events in Canberra, AU

Members are also interested in