computerphile feeds.twtxt.net Tue, Feb 20 05:57 (12w ago) Mechanizing Mathematical Proofs - Computerphile ⌘ Read more ⤋ Read More Yarn