Lectures 19 and 20 - Higher-order Functions and Further Tactics in Coq

New channel Amir Goharshady: title sample judged 'whole' (Full university-style recorded lectures on algorithms, logic, cryptography, and formal methods, with nearly every upload); passed a second screen for sellers/exam-prep/re-uploads; 3 of 3 sampled transcripts showed teaching, 0 not; every title checked strictly; oEmbed verified.