151
reputation
5 views
discussion user
network profile

Registered User

name vtan707
member for 7 months
seen Nov 22 at 20:47
website
location
0

Proposals


1

Current Commitment

301
committed

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
beta

0

Fulfilled Commitments


1

Followed

20
followers

Bible Applications

For people interested in understanding what the Bible says practically about how life is best lived today. Pastors, priests, rabbis, teachers, counselors and people with years of experience studying the Bible represent a large class of savvy experts.
define
commit
beta

0

Example Questions


5

Votes Cast

5 up

0 down