Inequalities Tupper’s self-referential formula Homotopy type theory — new foundations for math Langton’s ant algebrica.org — math wiki