computerphile feeds.twtxt.net Tue, Feb 20 11:57PM 2024 (1y ago) Mechanizing Mathematical Proofs - Computerphile ⌘ Read more ⤋ Read More