Combinatorial Games in Lean(github.com)7 points·by wertyk·evvelsi gün·0 commentsgithub.comCombinatorial Games in Leanhttps://github.com/vihdzp/combinatorial-games0 commentsPost comment—