Alexander Konovalov - The Leibniz Library and Applied Propositions as Types - λC 2018
Why it's on BrighterTube
Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceIntroduces the Leibniz Library and propositions-as-types principle in formal systems. Explains a proof library and type theory correspondence.
What you'll learn
A 64-minute video from LambdaConf: “Alexander Konovalov - The Leibniz Library and Applied Propositions as Types - λC 2018”.
Video by LambdaConf, played through YouTube's embedded player.
Part of LambdaConf 2018