Basics

Common notions in logic and analysis that are not in Mathlib may go here For now, empty.

def hello : String

Equations

• hello = "world"