Slide 1Distributed knowledge & beliefs Lennart v. Luijk Tijs Zwinkels Jeroen Kuijpers Jelle Prins Slide 2 Overview Recapitulation Proving a system Implicit knowledge…