106 followers _8o|oJd @kenryoindo Formal and informal proofs | https://t.co/qQzzvR3EtN 23 Dec 2017 Reply Repost Favourite