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