# Is there a constructive proof for Heine Borel Theorem?

Is there a constructive proof for Heine Borel Theorem, where the Heine Borel Theorem refers to every open covering of a closed bounded interval has a finite sub-cover? The proof I know use proof by contradiction. However, is it good to have a constructive proof (i.e., really give a way to construct the finite sub-cover from arbitrary open covering)? And are there such proofs?