Area 51 » Pedro Abreu

info activity reputation

reputation

7 views

discussion user

network profile

Registered User

name	Pedro Abreu
member for	5 years
seen	Nov 26 '21 at 19:59
website
location

stats accounts

0

Proposals

0

Current Commitments

0

Fulfilled Commitments

0

Followed

1

Example Question

Proof Assistants: Are there any tutorials to write a proof assistant from scratch?

10

Votes Cast

10 up

0 down

3

Badges

user feed