SkillsCast

Build Your Own Proof Assistant

8th October 2015 in London

There are 24 other SkillsCasts available from Haskell eXchange 2015