GavinMendelGleason

GavinMendelGleason avatar
Active user
10 months ago by invitation from LukeEF
14, averaging 7.00 per story/comment
1, most commonly tagged formalmethods
1

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