Area 51 » bbarker

info activity reputation

reputation

9 views

discussion user

network profile

Registered User

name	bbarker
member for	7 years
seen	Nov 27 '21 at 13:24
website	github.com/bbarker
location	Ithaca, NY

stats accounts

0

Proposals

0

Current Commitments

0

Fulfilled Commitments

0

Followed

1

Example Question

Proof Assistants: Which proof assistants can also serve as general-purpose programming languages?

5

Votes Cast

5 up

0 down

5

Badges

● Nice Question
● Centrist

● Advocate
● Pioneer

● Autobiographer

user feed