GitHub repository: ljt12138/Proof-of-Surreal
Primary language: Lean
Created: 2020-09-05T02:14:19Z
Description: A formal proof of NOI 2020 D2T2