# User Portlet

Brian Tenneson
Discussions
Does anyone know when 12.1 will come to Wolfram|Alpha Notebook Edition?
It seems that you will not be able to do that. Element[1,{1,2,3}] does not return either True or False for relations with sets, the expression is just returned unevaluated. Within programs MemberQ[{1, 2, 3}, 1] returns True but it is not...
Hi Jonathan, I have been learning Proof Theory on my own and am working on a document that mathematically explores some notions of proof theory. I have also described in detail the slowest way to prove something: brute force. Then I recently...
Thank you! Works perfectly!
Assume Import[] gave you a list x of values or expressions. You may write: f[w_] := ... and give x to f, then inside your function you may use Length@w w[[i]] If you need it's length or ith value. But you usually will use...