Calc
Inductive()
Lemma
NewType()
Proof
QExists()
QForAll()
Struct()
axiom()
cond()
define()
prove()
search()
simp()
IsFinite()
NoOverflow()
in_range()
is_finite()
min_float64
no_overflow()
round_up_neg