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