Area 51 » Tiago Campos

info activity reputation

reputation

5 views

discussion user

network profile

Registered User

name	Tiago Campos
member for	2 years
seen	Dec 21 '21 at 20:50
website
location

I am just an information system bachelor student based on MG / Brasil.

stats accounts

0

Proposals

0

Current Commitments

0

Fulfilled Commitments

0

Followed

1

Example Question

Proof Assistants: Why do some unification algorithms for dependent matching lead to k axiom?

2

Votes Cast

2 up

0 down

4

Badges

● Nice Question

user feed