An addictive personality :). Theorem proving can be a fun open-world videogame, and I do hope these aspects can be refined overtime to make real mathematics a

An addictive personality :). Theorem proving can be a fun open-world videogame, and I do hope these aspects can be refined overtime to make real mathematics a lot more accessible.