Combinatorial Game Theory in Lean
June 2019, ANU, Mathematical Sciences Institute
A presentation summarising my project formalising combinatorial game theory in Lean. Here are the slides as a PDF.
June 2019, ANU, Mathematical Sciences Institute
A presentation summarising my project formalising combinatorial game theory in Lean. Here are the slides as a PDF.