Coding

Here are some of my recent coding projects.

Connect N (git repository)
a two-player game generalising 'tic-tac-toe' that can be played on the terminal
written in C

Werewolf with four Seers (git repository)
a simulation testing whether a variant of werewolf with one werewolf and four different seers has a winning strategy for the villagers
written in Python

Formalised mathematics in Lean

Amenable Groups (git repository)
Implementation of amenable groups, basic inheritance properties, and some (non-)examples
written in Lean (a proof assistant)

My master’s thesis (git repository)
Implementation of some of the results of my master’s thesis. For an explanation, see Section 9 of this article.
written in Lean (a proof assistant)