Basics

Journal of Logic and Analysis

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

def hello : String

Equations

• hello = "world"