Combinatorial Game Theory in Lean
June 2019, ANU, Mathematical Sciences Institute
A summary of my project formalising combinatorial game theory in Lean.
June 2019, ANU, Mathematical Sciences Institute
A summary of my project formalising combinatorial game theory in Lean.