More on Computer-Checked Proofs
Further discussion of computer-checked proofs, including the example of the proof by Hales and his collaborators of the Kepler Conjecture. Automath also mentioned. DAO hack on Ethereum and the interest in cryptocurrency community in computer-checked proofs.
Iowa Type Theory Commute
en-usNovember 22, 2019