Do logicians use Wolfram Language? For instance for proof trees in sequent calculus. General answers are welcome.
I suspect many of them do use Wolfram Language as due to its symbolic nature it has a powerful capacity of computational generalization and abstraction. I'd look at, for starters: