985 followers がくし @gaxiiiiiiiiiiii Mizarなるものを使ってアローの定理を形式化したらしい。買わねぇけど https://t.co/RigwqcUj3B 27 Oct 2020 Reply Repost Favourite