GoldbachTm.lean

-- This module serves as the root of the `GoldbachTm` library.
-- Import modules here that should be built as part of the library.
import GoldbachTm.Basic
import GoldbachTm.Format
import GoldbachTm.ListBlank

import GoldbachTm.Tm25.TuringMachine25
import GoldbachTm.Tm25.Search0
import GoldbachTm.Tm25.Transition
import GoldbachTm.Tm25.Miscellaneous
import GoldbachTm.Tm25.Prime
import GoldbachTm.Tm25.PBP
import GoldbachTm.Tm25.Content

import GoldbachTm.Tm31.TuringMachine31
import GoldbachTm.Tm31.Search0
import GoldbachTm.Tm31.Transition
import GoldbachTm.Tm31.Prime
import GoldbachTm.Tm31.PBP
import GoldbachTm.Tm31.Content