Language

LogEx is a regex-style DSL for mathematical logic. This tree documents what you write, what it means, and why.

Quadrants

• Tutorials — guided sequence; start here if you're new.
• How-to — recipes for common authoring tasks.
• Reference — grammar, operators, scoping, CLI.
• Explanation — alpha-equivalence, De Bruijn, ASCII rationale, the Constitution.

• Tutorials

  Learn LogEx by writing your first formulas — a guided sequence.

• How-to recipes

  Goal-oriented recipes for common LogEx authoring tasks.

• Reference

  Grammar, operators, scoping, CLI.

• Explanation

  Why LogEx is shaped the way it is.