def hello : String

Equations

• hello = "world"

theorem my_first_theorem : 1 + 1 = 2