Area 51
Gergely's user avatar
Gergely's user avatar
Gergely's user avatar
Gergely
  • Member for 10 years, 7 months
  • Last seen more than 10 years ago
  • Hungary
Profile Activity
Stats
51
reputation
81
reached
0
answers
1
question
Communities
About

Teaching programming to undergraduates. Interested in theorem proving.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
1
Computational Logic
Feb 27, 2013

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.