Skip to main content
hardmath's user avatar
hardmath's user avatar
hardmath's user avatar
hardmath
  • Member for 10 years, 4 months
  • Last seen more than 2 years ago
Stats
215
reputation
358
reached
3
answers
1
question
Loading…
About

Enjoys programming in Prolog.

Richard O'Keefe: "Prolog is an efficient programming language because it is a very stupid theorem prover."

Badges
This user doesn’t have any gold badges yet.
2
silver badges
4
bronze badges
Top tags
5
Score
4
Posts
100
Posts %
1
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts