@1 + @5 : ...https://lists.w3.org/Archives/Public/public-bi…

Twetch · October 8, 2019

@1 + @5 : ...https://lists.w3.org/Archives/Public/public-bitcoin/2019Oct/0000.html + my to be released informal proof to the Barendregt–Geuvers–Klop conjecture is A) a mouthful, but B) actually simple and the solution $I think you guys will find comfort in