We’re rewarding the question askers & reputations are being recalculated! Read more.
Computer Science
Network profile
166
reputation
3

Zimm i48

Apparently, this user prefers to keep an air of mystery about them.

1
answer
0
questions
~247
people reached

Communities (22)

Top network posts

Top tags (1)

Score 5
Posts 1
Posts % 100

Top posts (1) All Questions Answers | Votes Newest

5 How to prove T Z = Z for binary representation of natural numbers in Coq Aug 28 '17

Badges (3)

Gold

—

Silver

—

Bronze

3

Rarest