believed Turing-complete

Means that the author, or the general public, has reason to believe that the language is Turing-complete, but no (reasonably) formal proof has been provided for the claim.

All Programming Languages in this Class