Area 51 » Neel Krishnaswami

info activity reputation

reputation

11 views

discussion user

network profile

Registered User

name	Neel Krishnaswami
member for	2 years
seen	Apr 18 '23 at 10:15
website	cl.cam.ac.uk/~nk480
location

stats accounts

0

Proposals

0

Current Commitments

1

Fulfilled Commitment

954

days

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.

define

commit

public beta

0

Followed

0

Example Questions

0

Votes Cast

1

Badges

user feed