import LeanCtxProofs

def main : IO Unit :=
  IO.println "LeanCTX Formal Verification Layer — all proofs checked."