User user3128 - Academia 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

user3128

Member for 2 years, 7 months
Last seen this week

Network profile

Stats

1

reputation

0

reached

0

answers

0

questions

Communities

About

Professional user of formal methods, model-checking and interactive theorem proving.

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

1

bronze badge

Autobiographer

Jan 30, 2022

Posts

This user hasn’t posted yet.