Area 51 » prash

info activity reputation

reputation

20 views

discussion user

network profile

Registered User

name	prash
member for	13 years
seen	Jul 30 '23 at 14:10
website
location

stats accounts

0

Proposals

0

Current Commitments

1

Fulfilled Commitment

Linguistics

For professional linguists and others with an interest in linguistic research and theory.

define

commit

beta

0

Followed

1

Example Question

Proof Assistants: What is/are the non-trivial difference(s) between Computer Algebra Systems and Proof Assistants?

11

Votes Cast

10 up

1 down

8

Badges

● Nice Question
● Centrist

● Advocate
● Pioneer

● Upholder
● Promoter

● Lobbyist
● Autobiographer

user feed