4,593
reputation
23
53

Reb.Cabin

Been using Mathematica almost daily since Wolfram's Caltech days before it was a product. Current interests include writing a proof assistant and an automatic theorem prover in Mathematica, starting with Gries & Schneider's book "A Logical Approach to Discrete Mathematics."

16
answers
83
questions
~64k
people reached

Top tags (95)

Score 16
Posts 13
Posts % 13
Score 4
Posts 22
Score 4
Posts 6
Score 3
Posts 7
Score 2
Posts 10
Score 2
Posts 5

Top posts (99) All Questions Answers | Votes Newest

View all questions and answers

Badges (76)

Gold

Silver

23

Rarest

Bronze

53

Rarest