(Mechanical) Reasoning on Infinite Extensive Games
(weak) Calibration is Computationally Hard
Canada
World
United States