SkillsCast

Lightning Talk: Proving your Haskell Code Correct with Lean

11th October 2018 in London

There are 38 other SkillsCasts available from Haskell eXchange 2018