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