Theorem provers HoTT So.2.11 18:00@ indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Hackathon #Munich #muc #ger #programming #meetup #math #fp
0
0
0
0
0