Mathematical logic, software safety, static typing down under. Worked on seL4.
Block or Report
Block or report zaklogician
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseSearch results
0 open and 0 closed projects found.-
There aren't any projects yet