37:0409–Discrete Math | Ch1-9 | Proofs Techniques | رياضيات متقطعة | أساليب البرهان الرياضيDr. Ahmed Hagag256.7K viewsView & Download
14:20Foundations of Proof (1 of 2: Statements, implications, negations)Eddie Woo11.9K viewsView & Download
47:34Definitions and Direct Proofs - Foundations of Pure Mathematics - Dr Joel FeinsteinUniversity of Nottingham4.2K viewsView & Download
7:48Proofs About Lists Part 2 | Software Foundations in Coq | LF | ListsMichael Ryan Clarkson963 viewsView & Download