Guillaume Brunerie

icon indicating a website link guillaumebrunerie.github.io icon indicating an email [email protected]

icon location Stockholm, Sweden icon location Developer at ELK Studios. Working with Typescript, React, Redux, and Go.

Results 1 repositories owned by Guillaume Brunerie

initiality

39
Stars
3
Forks
Watchers

A formalized proof of a version of the initiality conjecture

verified publisher icon guillaumebrunerie