GavinMendelGleason

GavinMendelGleason avatar
Active user
2 years ago by invitation from LukeEF
14, averaging 4.67 per story/comment
2, most commonly tagged databases
1

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