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.
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.