User k k - MathOverflow Meta

Skip to main content

Stack Exchange Network

Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Loading…

Back to MathOverflow Return to the main site
Tour Start here for a quick overview of the site
Help Center Detailed answers to any questions you might have
What's Meta? How Meta is different from the main site
About Us Learn more about Stack Overflow the company, and our products

current community
- MathOverflow
  
  help chat
- MathOverflow Meta
your communities

Sign up or log in to customize your list.

more stack exchange communities
company blog
Log in
Sign up

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

k k

Member for 2 years, 4 months

Japan

Main user
Network profile

Profile Activity

Stats

11

reputation

0

reached

0

answers

0

questions

Communities

Mathematics

11
MathOverflow

11
Proof Assistants

11

Badges

This user has not earned any badges.

Posts

This user hasn’t posted yet.

MathOverflow Meta

Help
Chat
Contact

Company

Stack Overflow
Teams
Advertising
Talent
About
Press
Legal
Privacy Policy
Terms of Service
Cookie Policy

Stack Exchange Network

Technology
Culture & recreation
Life & arts
Science
Professional
Business
API
Data

Blog
Facebook
Twitter
LinkedIn
Instagram

Site design / logo © 2024 Stack Exchange Inc; user contributions licensed under CC BY-SA . rev 2024.12.13.20401