GavinMendelGleason

GavinMendelGleason avatar
Active user
6 months ago by invitation from LukeEF
9, averaging 9.00 per story/comment
1, most commonly tagged philosophy
0

I’m a computer scientist interested in type theory and the application of formal methods to real world enterprise use cases.