Logic & formal methods videos
Browse videos about Logic & formal methods, with summaries, creators and original Hacker News discussion links.
33 videos in the full category, ordered by recommendation score.
Videos in this topic
46:36Type-Driven Development in Idris — Edwin Brady
49:45seL4 Is Free – What Does This Mean For You?
31:00