txt.sour.is @<computerphile https://feeds.twtxt.net/computerphile/twtxt.txt> "**Mechanizing Mathematical Proofs - Computerphile** ⌘ Read more"

Login

Join

Yarn

Recent twts in reply to #ihvsyqq

feeds.twtxt.net

Tue, Feb 20 05:57 (12w ago)

Mechanizing Mathematical Proofs - Computerphile ⌘ Read more

⤋ Read More

Participate

Login to join in on this yarn.