I also am not sure what box proofs are. There are many programs (proof assistants) that can prove theorems with your guidance. I am using one called Coq, and it uses words like intro and elim, but I am not sure in the same sense as you do.

There are also some visual programs to teach proofs, such as "Tarski World" by Jon Barwise and another author.