guillaumebrunerie.github.io [email protected]
Stockholm, Sweden Developer at ELK Studios. Working with Typescript, React, Redux, and Go.
Guillaume Brunerie
A formalized proof of a version of the initiality conjecture
guillaumebrunerie