Stack Overflow
Loading…
    • Back to Stack Overflow 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
    • Business Learn more about our products
  1. current community

    • Stack Overflow
      help chat
    • Meta Stack Overflow

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog
  2. Log in
  3. Sign up
  1. Home
    1. Public
    2. Questions
    3. Tags
    4. Users
    1. Teams
      Stack Overflow for Teams – Start collaborating and sharing organizational knowledge. Create a free Team Why Teams?
    2. Teams
    3. Create free Team

Teams

Q&A for work

Connect and share knowledge within a single location that is structured and easy to search.

Learn more about Teams
user avatar
user avatar
user avatar
helmut
  • Member for 9 years, 4 months
  • Last seen more than 3 years ago
  • Main user
  • Network profile
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
  • Theoretical Computer Science
    365
  • MathOverflow
    165
  • Computer Science
    111
  • Stack Overflow
    101
Badges

This user has not earned any badges.

Posts

This user hasn’t posted yet.

Top network posts
View all network posts
10
Understanding the Proof of Strong Normalization of the Calculus of Constructions
9
Constructive Strong Normalization of the Extended Calculus of Constructions
6
Strong Normalization of Extended Calculus of Constructions (CC with cumulative universes)
5
Definition of continuous functions in order theory
Meta Stack Overflow
  • Questions
  • Help
Products
  • Teams
  • Advertising
  • Collectives
  • Talent
Company
  • About
  • Press
  • Work Here
  • Legal
  • Privacy Policy
  • Terms of Service
  • Contact Us
  • Cookie Settings
  • Cookie Policy
Stack Exchange Network
  • Technology
  • Culture & recreation
  • Life & arts
  • Science
  • Professional
  • Business
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

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

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.