User Dominique Larchey-Wendling - Theoretical Computer Science Stack Exchange

1. Home
2. Questions
3. Tags
5. Users
6. Jobs
7. Companies
8. 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

Dominique Larchey-Wendling

Member for 6 days
Last seen this week

Nancy, France

Network profile

Stats

1

reputation

0

reached

1

answer

0

questions

Communities

Badges

This user has not earned any badges.

Top tags

coq

0

Score

1

Posts

100

Posts %

Top posts

0

Finite sets in Coq

Sep 3