Is truth futureproof? On the possible futures of mechanized proofs (via mjn) — discussion
#math #pdf #plt
