Skip to content

redex

Today it means: Something to be reduced according to the rules of a formal system. Full definition →

Ask AI about its historyChatGPT Claude Perplexity Google AI Grok

The story

Abbreviation of reducible expression.

Etymology from Wiktionary, CC BY-SA 4.0.