(* Autor(s): Andrej Dudenhefner (1) Affiliation(s): (1) Saarland University, Saarbrücken, Germany *)
(* Undecidability Results(s): Two Counter Machine Halting (CM2_HALT) *)
From Undecidability.CounterMachines
From Undecidability.MinskyMachines

(* Undecidability of The Two Counter Machine Halting Problem *)
Lemma CM2_HALT_undec : undecidable CM2_HALT.