Theoretical Computer Science
Meta user
Network profile
512
reputation
5
7

davidk01

Dispassionate problem solver. I enjoy building minimal and efficient software systems.

0
answers
1
question
~3k
people reached
  • Burlingame, CA, United States
  • davidk01
  • Member for 9 years, 5 months
  • 27 profile views
  • Last seen Apr 3 '19 at 7:19

Communities (35)

Top network posts

Top tags (5)

Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

41 How would I go about learning the underlying theory of the Coq proof assistant? Apr 3 '11

Badges (12)

Gold

—

Silver

5

Rarest

Bronze

7

Rarest

View all badges →