683
reputation
4
8

Lambdageek

Once I compiled programs.
Later I wrote proofs about programs.
Now I compile programs with proofs.

One day I hope to compile proofs and get programs.

(I want to be @pigworker when I grow up.)

#SOreadytohelp
3
answers
0
questions
~21k
people reached

Top tags (3)

Score 36
Posts 2
Score 29
Posts 1
Score 10
Posts 1

Top posts (3) All Questions Answers | Votes Newest

Badges (12)

Gold

Silver

4

Rarest

Bronze

8

Rarest