grantpassmore Goto Github PK
Name: Grant Passmore
Type: User
Company: Imandra Inc
Bio: Cofounder of Imandra (imandra.ai) and Life Member of Clare Hall, Univ. Cambridge; creator of Imandra; proving theorems about algorithms!
Twitter: grantolney
Location: Austin, TX
Blog: www.imandra.ai