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…

Tour Start here for a quick overview of the site
Help Center Detailed answers to any questions you might have
Meta Discuss the workings and policies of this site
About Us Learn more about Stack Overflow the company, and our products.

current community
- Proof Assistants
  
  help chat
- Proof Assistants Meta
your communities

Sign up or log in to customize your list.

more stack exchange communities
company blog
Log in
Sign up

Proof Assistants Beta

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

Stack Overflow for Teams – Start collaborating and sharing organizational knowledge. Create a free Team Why Teams?
Teams
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

Tag Synonyms

View all active tag synonyms. Learn more about tag synonym privileges

Synonym →	Target	Creator	Created	# of Renames	Last Renamed
impredicativity	predicativity × 12	Couchy♦	Sep 26, 2022	0

Synonyms will be automatically approved when they reach a score of 4, and automatically deleted when they reach a score of -2.

Proof Assistants

Tour
Help
Chat
Contact
Feedback

Company

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

Blog
Facebook
Twitter
LinkedIn
Instagram

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.