User eduardogbg - Proof Assistants Stack Exchange

1. Home
2. Questions
3. Tags
5. Users
6. Unanswered
Teams

Now available on Stack Overflow for Teams! AI features where you work: search, IDE, and chat.
Learn more Explore Teams
Teams
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams

eduardogbg

Member for 29 days
Last seen more than a week ago

Florianópolis, SC, Brasil

Network profile

Stats

101

reputation

0

reached

0

answers

0

questions

Communities

About

A student of all things (that I like :P), with some wild love for parties.

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

2

bronze badges

Supporter

Jun 27
Autobiographer

Jun 27

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

11

Why can I push into a Readable stream?