Mark Adams's user avatar
Mark Adams's user avatar
Mark Adams's user avatar
Mark Adams
Unregistered
  • Member for 13 years, 2 months
Stats
741
reputation
38k
reached
4
answers
0
questions
Loading…
Communities
About
My company develops software for creating and checking proofs, as well as supplying consultancy for safety-critical software and functional programming. In 2009-2011 I was living in Vietnam for 2 years, where I was running the Vietnam half of Tom Hales' Flyspeck project.
This user doesn’t have any gold badges yet.
8
silver badges
7
bronze badges
Top tags
49
Score
2
Posts
50
Posts %
39
Score
3
Posts
75
Posts %
35
Score
1
Posts
25
Posts %
19
Score
1
Posts
25
Posts %
14
Score
1
Posts
25
Posts %
Top posts